Constant RIGHT_CTRL_PRESSED

pub const RIGHT_CTRL_PRESSED: u32 = 4u32;