krb5_config_vget_int_default  781 source4/heimdal/lib/krb5/config_file.c     return krb5_config_vget_int_default (context, c, -1, args);
krb5_config_vget_int_default  793 source4/heimdal/lib/krb5/config_file.c     ret = krb5_config_vget_int_default(context, c, def_value, ap);