(edebug-skip-whitespace): read1:lread.c says