Constant KEY_MAGNETO4_DECR 

pub const KEY_MAGNETO4_DECR: u32 = 66132;