Constant RIGHT_SHIFT_PRESSED 

pub const RIGHT_SHIFT_PRESSED: u32 = 0x00000001u32;