read_char_escape 3269 src/lread.c        ch = read_char_escape (readcharfun, READCHAR);
read_char_escape 3335 src/lread.c    	      ch = read_char_escape (readcharfun, ch);