--- lread.c 2019-12-16 12:52:05.739490741 +0100 +++ mylread.c 2019-12-16 12:50:46.572077138 +0100 @@ -2053,6 +2053,12 @@ || c == NO_BREAK_SPACE) goto read_next; + if (c != '(' && c != '#') + { + while ((c = READCHAR) != '\n' && c != -1); + goto read_next; + } + if (! HASH_TABLE_P (read_objects_map) || XHASH_TABLE (read_objects_map)->count) read_objects_map