__krb5_principal_compare_case_ins
if (!__krb5_principal_compare_case_ins(context, principal,
__krb5_principal_compare_case_ins(krb5_context context,