GSS_KRB5_SET_DEFAULT_REALM_X
} else if (gss_oid_equal(desired_object, GSS_KRB5_SET_DEFAULT_REALM_X)) {
GSS_KRB5_SET_DEFAULT_REALM_X, &buffer);