extlib_port_buffering__STUB 3720 src/extlib.c   static SCM_DEFINE_SUBR(extlib_port_buffering__STUB, 1, 0, SCM_OBJ(&extlib_port_buffering__NAME), extlib_port_buffering, NULL, NULL);
extlib_port_buffering__STUB 6039 src/extlib.c     SCM_DEFINE(module, "port-buffering", SCM_OBJ(&extlib_port_buffering__STUB));
extlib_port_buffering__STUB 6040 src/extlib.c     Scm_SetterSet(SCM_PROCEDURE(&extlib_port_buffering__STUB), SCM_PROCEDURE(&extlib_port_buffering_SETTER__STUB), TRUE);