signal_user_input 3647 src/w32fns.c         signal_user_input ();
signal_user_input 4073 src/w32fns.c         signal_user_input ();
signal_user_input 4536 src/w32fns.c   	  signal_user_input ();
signal_user_input 4563 src/w32fns.c   	signal_user_input ();
signal_user_input 4592 src/w32fns.c   	  signal_user_input ();
signal_user_input 4719 src/w32fns.c   	    signal_user_input ();
signal_user_input 4777 src/w32fns.c   	signal_user_input ();
signal_user_input 4841 src/w32fns.c         signal_user_input ();
signal_user_input 4938 src/w32fns.c         signal_user_input ();
signal_user_input 4953 src/w32fns.c         signal_user_input ();
signal_user_input 4966 src/w32fns.c   	      signal_user_input ();
signal_user_input 5509 src/w32fns.c   	  signal_user_input ();