Constant KEY_MIXTURE_DECR 

pub const KEY_MIXTURE_DECR: u32 = 65777;