extlib_open_input_buffered_port__STUB 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);
extlib_open_input_buffered_port__STUB 6066 src/extlib.c     SCM_DEFINE(module, "open-input-buffered-port", SCM_OBJ(&extlib_open_input_buffered_port__STUB));