extlib_port_buffering_SETTER__STUB 3700 src/extlib.c   static SCM_DEFINE_SUBR(extlib_port_buffering_SETTER__STUB, 2, 0, SCM_OBJ(&extlib_port_buffering_SETTER__NAME), extlib_port_buffering_SETTER, NULL, NULL);
extlib_port_buffering_SETTER__STUB 6040 src/extlib.c     Scm_SetterSet(SCM_PROCEDURE(&extlib_port_buffering__STUB), SCM_PROCEDURE(&extlib_port_buffering_SETTER__STUB), TRUE);