RECORD_MAX_MIN_POS 25263 src/xdisp.c    	    RECORD_MAX_MIN_POS (it);
RECORD_MAX_MIN_POS 25332 src/xdisp.c    			    RECORD_MAX_MIN_POS (it);
RECORD_MAX_MIN_POS 25368 src/xdisp.c    			RECORD_MAX_MIN_POS (it);
RECORD_MAX_MIN_POS 25500 src/xdisp.c    		    RECORD_MAX_MIN_POS (it);
RECORD_MAX_MIN_POS 25540 src/xdisp.c    	    RECORD_MAX_MIN_POS (it);