Constant KEY_MIXTURE1_DECR 

pub const KEY_MIXTURE1_DECR: u32 = 65986;