X_EVENT_NORMAL   12852 src/xterm.c          current_finish = X_EVENT_NORMAL;
X_EVENT_NORMAL   17810 src/xterm.c            current_finish = X_EVENT_NORMAL;
X_EVENT_NORMAL   18397 src/xterm.c    	  current_finish = X_EVENT_NORMAL;
X_EVENT_NORMAL   18748 src/xterm.c      *finish = X_EVENT_NORMAL;
X_EVENT_NORMAL   25422 src/xterm.c      int finish = X_EVENT_NORMAL;