reset_modifiers  5039 src/w32fns.c         reset_modifiers ();
reset_modifiers  5261 src/w32fns.c         reset_modifiers ();