extlib_read_byte__STUB 3878 src/extlib.c   static SCM_DEFINE_SUBR(extlib_read_byte__STUB, 0, 1, SCM_OBJ(&extlib_read_byte__NAME), extlib_read_byte, NULL, NULL);
extlib_read_byte__STUB 6031 src/extlib.c     SCM_DEFINE(module, "read-byte", SCM_OBJ(&extlib_read_byte__STUB));