Constant KEY_MIXTURE4_DECR_SMALL 

pub const KEY_MIXTURE4_DECR_SMALL: u32 = 66648;