read_integer     4172 src/lread.c    	    obj = read_integer (readcharfun, 16);
read_integer     4177 src/lread.c    	    obj = read_integer (readcharfun, 8);
read_integer     4182 src/lread.c    	    obj = read_integer (readcharfun, 2);
read_integer     4253 src/lread.c    		    obj = read_integer (readcharfun, n);