dos_get_modifiers 2438 src/msdos.c          modifiers = dos_get_modifiers (&mask);
dos_get_modifiers 2722 src/msdos.c    		event.modifiers = dos_get_modifiers (0)