X_EVENT_NORMAL   12537 src/xterm.c          current_finish = X_EVENT_NORMAL;
X_EVENT_NORMAL   17445 src/xterm.c            current_finish = X_EVENT_NORMAL;
X_EVENT_NORMAL   18032 src/xterm.c    	  current_finish = X_EVENT_NORMAL;
X_EVENT_NORMAL   18383 src/xterm.c      *finish = X_EVENT_NORMAL;
X_EVENT_NORMAL   24714 src/xterm.c      int finish = X_EVENT_NORMAL;