Constant RIGHT_ALT_MODIFIER 

pub const RIGHT_ALT_MODIFIER: u16 = 0x0004;