KRB5_WELLKNOWN_NAME
KRB5_WELLKNOWN_NAME, KRB5_ANON_NAME, NULL);
strcmp(principal->name.name_string.val[0], KRB5_WELLKNOWN_NAME) != 0 ||
KRB5_WELLKNOWN_NAME, KRB5_ANON_NAME,