RECORD_MAX_MIN_POS 25057 src/xdisp.c    	    RECORD_MAX_MIN_POS (it);
RECORD_MAX_MIN_POS 25126 src/xdisp.c    			    RECORD_MAX_MIN_POS (it);
RECORD_MAX_MIN_POS 25162 src/xdisp.c    			RECORD_MAX_MIN_POS (it);
RECORD_MAX_MIN_POS 25294 src/xdisp.c    		    RECORD_MAX_MIN_POS (it);
RECORD_MAX_MIN_POS 25334 src/xdisp.c    	    RECORD_MAX_MIN_POS (it);