READCHAR          486 src/lread.c    	c = READCHAR;
READCHAR          502 src/lread.c        while (READCHAR >= 0);
READCHAR         1064 src/lread.c      int ch = READCHAR;
READCHAR         1068 src/lread.c          ch = READCHAR;
READCHAR         1076 src/lread.c            ch = READCHAR;
READCHAR         1077 src/lread.c          if (ch == '\n') ch = READCHAR;
READCHAR         1112 src/lread.c    	  ch = READCHAR;
READCHAR         1122 src/lread.c    	  ch = READCHAR;
READCHAR         1126 src/lread.c    	    ch = READCHAR;
READCHAR         1135 src/lread.c    	      ch = READCHAR;
READCHAR         1149 src/lread.c    	      ch = READCHAR;
READCHAR         1152 src/lread.c    		ch = READCHAR;
READCHAR         1161 src/lread.c    		  ch = READCHAR;
READCHAR         1180 src/lread.c    	ch = READCHAR;
READCHAR         2526 src/lread.c          c = READCHAR;
READCHAR         2529 src/lread.c    	  while ((c = READCHAR) != '\n' && c != -1);
READCHAR         2933 src/lread.c    	int c1 = READCHAR;
READCHAR         2948 src/lread.c    	c1 = READCHAR;
READCHAR         2951 src/lread.c    	    next_char = READCHAR;
READCHAR         2963 src/lread.c    	int c1 = READCHAR;
READCHAR         2972 src/lread.c    	int c1 = READCHAR;
READCHAR         2975 src/lread.c    	    next_char = READCHAR;
READCHAR         2990 src/lread.c    	    int c = READCHAR;
READCHAR         3014 src/lread.c    	    int c = READCHAR;
READCHAR         3051 src/lread.c    	    int c = READCHAR;
READCHAR         3070 src/lread.c            int c = READCHAR;
READCHAR         3078 src/lread.c                int c = READCHAR;
READCHAR         3194 src/lread.c      int c = READCHAR;
READCHAR         3198 src/lread.c          c = READCHAR;
READCHAR         3209 src/lread.c    	c = READCHAR;
READCHAR         3229 src/lread.c          c = READCHAR;
READCHAR         3246 src/lread.c      int ch = READCHAR;
READCHAR         3268 src/lread.c        ch = read_char_escape (readcharfun, READCHAR);
READCHAR         3276 src/lread.c      int nch = READCHAR;
READCHAR         3307 src/lread.c      while ((ch = READCHAR) >= 0 && ch != '\"')
READCHAR         3322 src/lread.c    	  ch = READCHAR;
READCHAR         3620 src/lread.c          int c = READCHAR;
READCHAR         3661 src/lread.c          int c = READCHAR;
READCHAR         3801 src/lread.c          c = READCHAR;
READCHAR         3804 src/lread.c    	  c = READCHAR;
READCHAR         4062 src/lread.c    	int ch = READCHAR;
READCHAR         4080 src/lread.c    	    ch = READCHAR;
READCHAR         4097 src/lread.c    	    ch = READCHAR;
READCHAR         4100 src/lread.c    		ch = READCHAR;
READCHAR         4164 src/lread.c    		c = READCHAR;
READCHAR         4200 src/lread.c    	    c = READCHAR;
READCHAR         4217 src/lread.c    	    c = READCHAR;
READCHAR         4240 src/lread.c    		    c = READCHAR;
READCHAR         4326 src/lread.c    	int ch = READCHAR;
READCHAR         4347 src/lread.c    	  c = READCHAR;
READCHAR         4354 src/lread.c    	int nch = READCHAR;
READCHAR         4401 src/lread.c    		c = READCHAR;
READCHAR         4411 src/lread.c    	    c = READCHAR;
READCHAR         4529 src/lread.c    	    int ch = READCHAR;