Constant KEY_MAGNETO3_DECR 

pub const KEY_MAGNETO3_DECR: u32 = 66130;