1krb5_get_default_realm() returned 'DEFAULT.REALM.TST' 2krb5_set_default_realm(NEW.DEFAULT.REALM) 3krb5_get_default_realm() returned 'NEW.DEFAULT.REALM' 4krb5_get_realm_domain(DEFAULT_REALM.TST) returned 'MIT.EDU' 5krb_get_host_realm(bad.idea) returned: 'US.GOV' 6krb_get_host_realm(itar.bad.idea) returned: 'NSA.GOV' 7krb_get_host_realm(really.BAD.IDEA.) returned: 'NSA.GOV' 8krb_get_host_realm(clipper.bad.idea) returned: 'NIST.GOV' 9krb_get_host_realm(KeYEsCrOW.BaD.IDea) returned: 'NSA.GOV' 10krb_get_host_realm(pgp.good.idea) returned: '' 11krb_get_host_realm(no_domain) returned: '' 12