read_integer     3922 src/lread.c    	    obj = read_integer (readcharfun, 16);
read_integer     3927 src/lread.c    	    obj = read_integer (readcharfun, 8);
read_integer     3932 src/lread.c    	    obj = read_integer (readcharfun, 2);
read_integer     4003 src/lread.c    		    obj = read_integer (readcharfun, n);