extlib_port_buffering_SETTER__NAME 3699 src/extlib.c   static SCM_DEFINE_STRING_CONST(extlib_port_buffering_SETTER__NAME, "(setter port-buffering)", 23, 23);
extlib_port_buffering_SETTER__NAME 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);