read_char_escape 3268 src/lread.c        ch = read_char_escape (readcharfun, READCHAR);
read_char_escape 3334 src/lread.c    	      ch = read_char_escape (readcharfun, ch);