signal_user_input 3680 src/w32fns.c         signal_user_input ();
signal_user_input 4106 src/w32fns.c         signal_user_input ();
signal_user_input 4569 src/w32fns.c   	  signal_user_input ();
signal_user_input 4596 src/w32fns.c   	signal_user_input ();
signal_user_input 4625 src/w32fns.c   	  signal_user_input ();
signal_user_input 4752 src/w32fns.c   	    signal_user_input ();
signal_user_input 4810 src/w32fns.c   	signal_user_input ();
signal_user_input 4874 src/w32fns.c         signal_user_input ();
signal_user_input 4971 src/w32fns.c         signal_user_input ();
signal_user_input 4986 src/w32fns.c         signal_user_input ();
signal_user_input 4999 src/w32fns.c   	      signal_user_input ();
signal_user_input 5542 src/w32fns.c   	  signal_user_input ();