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