extlib__25open_input_file__STUB 3081 src/extlib.c   static SCM_DEFINE_SUBR(extlib__25open_input_file__STUB, 1, 1, SCM_OBJ(&extlib__25open_input_file__NAME), extlib__25open_input_file, NULL, NULL);
extlib__25open_input_file__STUB 6079 src/extlib.c     SCM_DEFINE(module, "%open-input-file", SCM_OBJ(&extlib__25open_input_file__STUB));