extlib_write_byte__NAME 4121 src/extlib.c   static SCM_DEFINE_STRING_CONST(extlib_write_byte__NAME, "write-byte", 10, 10);
extlib_write_byte__NAME 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);