Constant KEY_MIXTURE4_DECR 

pub const KEY_MIXTURE4_DECR: u32 = 66001;