_krb5_get_default_cc_name_from_registry
e = p = _krb5_get_default_cc_name_from_registry(context);
_krb5_get_default_cc_name_from_registry (krb5_context /*context*/);