krb5_rc_default_name
if ((def_env = krb5_rc_default_name(context)) != 0) {
krb5_rc_default_name(context)))) {
char * krb5_rc_default_name