pub const KEY_MIXTURE4_DECR_SMALL: u32 = 66648;