read_integer     4171 src/lread.c    	    obj = read_integer (readcharfun, 16);
read_integer     4176 src/lread.c    	    obj = read_integer (readcharfun, 8);
read_integer     4181 src/lread.c    	    obj = read_integer (readcharfun, 2);
read_integer     4252 src/lread.c    		    obj = read_integer (readcharfun, n);