UKBD_KEY_PRESSED
(UKBD_KEY_PRESSED(bitmap, 0xe2 /* ALT-L */) ||
UKBD_KEY_PRESSED(bitmap, 0xe6 /* ALT-R */)))
UKBD_KEY_PRESSED(bitmap, 0xe0 /* CTRL-L */) ||
UKBD_KEY_PRESSED(bitmap, 0xe4 /* CTRL-R */) ||
UKBD_KEY_PRESSED(bitmap, 0xe1 /* SHIFT-L */) ||
UKBD_KEY_PRESSED(bitmap, 0xe5 /* SHIFT-R */)))) {
UKBD_KEY_PRESSED(bitmap, 0xe0 /* CTRL-L */) ||
UKBD_KEY_PRESSED(bitmap, 0xe4 /* CTRL-R */)))) {