krb5int_lib_init
MAKE_INIT_FUNCTION(krb5int_lib_init);
return CALL_INIT_FUNCTION(krb5int_lib_init);
if (!INITIALIZER_RAN(krb5int_lib_init) || PROGRAM_EXITING()) {