extlib_write_byte__STUB 4122 src/extlib.c   static SCM_DEFINE_SUBR(extlib_write_byte__STUB, 1, 1, SCM_OBJ(&extlib_write_byte__NAME), extlib_write_byte, NULL, NULL);
extlib_write_byte__STUB 6022 src/extlib.c     SCM_DEFINE(module, "write-byte", SCM_OBJ(&extlib_write_byte__STUB));