[domain_realm]
    .pdc.kth.se = NADA.KTH.SE
    .chalmers.se = CHALMERS.SE
    chalmers.se = CHALMERS.SE

[appdefaults]
  forwardable = yes
  forward = yes
  krb4_get_tickets = no

[libdefaults]
  default_realm = NADA.KTH.SE
  dns_lookup_realm = true
  dns_lookup_kdc = true