krb5_config_vget_time_default  724 source4/heimdal/lib/krb5/config_file.c     return krb5_config_vget_time_default (context, c, -1, args);
krb5_config_vget_time_default  736 source4/heimdal/lib/krb5/config_file.c     ret = krb5_config_vget_time_default(context, c, def_value, ap);