extlib_read_list__NAME 4000 src/extlib.c   static SCM_DEFINE_STRING_CONST(extlib_read_list__NAME, "read-list", 9, 9);
extlib_read_list__NAME 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);