pub const KEY_MIXTURE4_INCR_SMALL: u32 = 66000;