krb5_ldap_unparse_principal_name
|| ((st=krb5_ldap_unparse_principal_name(user)) != 0))
krb5_ldap_unparse_principal_name(char *);
if ((st=krb5_ldap_unparse_principal_name(user)) != 0)
((st=krb5_ldap_unparse_principal_name(user)) != 0))