Constant RIGHT_SHIFT_MODIFIER 

pub const RIGHT_SHIFT_MODIFIER: u16 = 0x000D;