FRAME_X_BASIC_COUNTER 5200 src/xfns.c     	= FRAME_X_BASIC_COUNTER (f)
FRAME_X_BASIC_COUNTER 7408 src/xterm.c          && FRAME_X_BASIC_COUNTER (f) != None)
FRAME_X_BASIC_COUNTER 7411 src/xterm.c    		       FRAME_X_BASIC_COUNTER (f),
FRAME_X_BASIC_COUNTER 28520 src/xterm.c          if (FRAME_X_BASIC_COUNTER (f) != None)
FRAME_X_BASIC_COUNTER 28522 src/xterm.c    			     FRAME_X_BASIC_COUNTER (f));