pub const RIGHT_CTRL_PRESSED: u32 = 4u32;