extlib_read_list__STUB 4001 src/extlib.c   static SCM_DEFINE_SUBR(extlib_read_list__STUB, 1, 1, SCM_OBJ(&extlib_read_list__NAME), extlib_read_list, NULL, NULL);
extlib_read_list__STUB 6027 src/extlib.c     SCM_DEFINE(module, "read-list", SCM_OBJ(&extlib_read_list__STUB));