cmp_gss_krb5_name
if (! cmp_gss_krb5_name(handle, name, arg->princ) &&
if (cmp_gss_krb5_name(handle, name, arg->princ)) {
if (cmp_gss_krb5_name(handle, name, arg->princ)) {
if (cmp_gss_krb5_name(handle, name, arg->princ)) {
if (cmp_gss_krb5_name(handle, name, arg->princ)) {