krb5_config_vget_int_default
return krb5_config_vget_int_default (context, c, -1, args);
ret = krb5_config_vget_int_default(context, c, def_value, ap);
krb5_config_vget_int_default (