xi_convert_event_keyboard_state 23355 src/xterm.c    		  copy.xkey.state = xi_convert_event_keyboard_state (xev);
xi_convert_event_keyboard_state 23411 src/xterm.c    	      xkey.state = xi_convert_event_keyboard_state (xev);
xi_convert_event_keyboard_state 23830 src/xterm.c    	      xkey.state = xi_convert_event_keyboard_state (xev);