pub const BadMatch: u8 = 8; // 0x08u8