Constant KEY_MAGNETO1_DECR 

pub const KEY_MAGNETO1_DECR: u32 = 66126;