Constant KEY_MAGNETO4_RIGHT 

pub const KEY_MAGNETO4_RIGHT: u32 = 65946;