realm_compare
if (realm_compare(header_ticket->server, tgs_server) ||
realm_compare(header_ticket->server, enc_tkt_reply.client)) {
krb5_boolean realm_compare (krb5_principal, krb5_principal);