WINDOW_MARGINS_WIDTH 1104 src/window.c   		- WINDOW_MARGINS_WIDTH (w)
WINDOW_MARGINS_WIDTH 7850 src/window.c   	   - WINDOW_MARGINS_WIDTH (w)
WINDOW_MARGINS_WIDTH 7973 src/window.c   	   - WINDOW_MARGINS_WIDTH (w)
WINDOW_MARGINS_WIDTH 1278 src/xdisp.c    	width -= (WINDOW_MARGINS_WIDTH (w)