Constant KEY_MIXTURE2_DECR 

pub const KEY_MIXTURE2_DECR: u32 = 65991;