extlib_open_output_buffered_port__STUB 3359 src/extlib.c   static SCM_DEFINE_SUBR(extlib_open_output_buffered_port__STUB, 2, 0, SCM_OBJ(&extlib_open_output_buffered_port__NAME), extlib_open_output_buffered_port, NULL, NULL);
extlib_open_output_buffered_port__STUB 6065 src/extlib.c     SCM_DEFINE(module, "open-output-buffered-port", SCM_OBJ(&extlib_open_output_buffered_port__STUB));