krb5int_dbgref_dump_principal
#define DUMP_PRINC(x, y) krb5int_dbgref_dump_principal((x), (y))
krb5int_dbgref_dump_principal("gc_via_tkt: in_cred",in_cred->server);
krb5int_dbgref_dump_principal("gc_via_tkt: encoded server",dec_rep->enc_part2->server);
krb5int_dbgref_dump_principal("krb5_get_cred_via_tkt requested ticket", in_cred->server);
krb5int_dbgref_dump_principal("krb5_get_cred_via_tkt TGT in use", tkt->server);
krb5int_dbgref_dump_principal("krb5_walk_realm_tree tree",(*tree)[i]);
krb5int_dbgref_dump_principal("krb5_sname_to_principal",*ret_princ);
void krb5int_dbgref_dump_principal(char *, krb5_principal);