RECORD_MAX_MIN_POS 25255 src/xdisp.c    	    RECORD_MAX_MIN_POS (it);
RECORD_MAX_MIN_POS 25324 src/xdisp.c    			    RECORD_MAX_MIN_POS (it);
RECORD_MAX_MIN_POS 25360 src/xdisp.c    			RECORD_MAX_MIN_POS (it);
RECORD_MAX_MIN_POS 25492 src/xdisp.c    		    RECORD_MAX_MIN_POS (it);
RECORD_MAX_MIN_POS 25532 src/xdisp.c    	    RECORD_MAX_MIN_POS (it);