extlib__25open_input_file__NAME 3080 src/extlib.c   static SCM_DEFINE_STRING_CONST(extlib__25open_input_file__NAME, "%open-input-file", 16, 16);
extlib__25open_input_file__NAME 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);