extlib_open_output_buffered_port__NAME 3358 src/extlib.c   static SCM_DEFINE_STRING_CONST(extlib_open_output_buffered_port__NAME, "open-output-buffered-port", 25, 25);
extlib_open_output_buffered_port__NAME 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);