pub const U8_LEAD3_T1_BITS: &[u8; 17] = b" 000000000000\x1000\0";