log_tgs_alt_tgt
log_tgs_alt_tgt(context, server->princ);
log_tgs_alt_tgt(krb5_context context, krb5_principal p);