RIGHT_CTRL_PRESSED

Constant RIGHT_CTRL_PRESSED 

Source
pub const RIGHT_CTRL_PRESSED: u32 = 4;