pub const RED_BITS: u32 = 3410;