extlib_open_input_buffered_port__NAME 3318 src/extlib.c   static SCM_DEFINE_STRING_CONST(extlib_open_input_buffered_port__NAME, "open-input-buffered-port", 24, 24);
extlib_open_input_buffered_port__NAME 3319 src/extlib.c   static SCM_DEFINE_SUBR(extlib_open_input_buffered_port__STUB, 2, 0, SCM_OBJ(&extlib_open_input_buffered_port__NAME), extlib_open_input_buffered_port, NULL, NULL);