Constant RIGHT_CTRL_PRESSED 

pub const RIGHT_CTRL_PRESSED: u32 = 4;