reset_modifiers  5006 src/w32fns.c         reset_modifiers ();
reset_modifiers  5228 src/w32fns.c         reset_modifiers ();