xi_convert_event_keyboard_state 23703 src/xterm.c    		  copy.xkey.state = xi_convert_event_keyboard_state (xev);
xi_convert_event_keyboard_state 23759 src/xterm.c    	      xkey.state = xi_convert_event_keyboard_state (xev);
xi_convert_event_keyboard_state 24196 src/xterm.c    	      xkey.state = xi_convert_event_keyboard_state (xev);