Constant KEY_MAGNETO3_RIGHT 

pub const KEY_MAGNETO3_RIGHT: u32 = 65940;