Constant KEY_MIXTURE3_DECR_SMALL 

pub const KEY_MIXTURE3_DECR_SMALL: u32 = 66647;