pub const BadGC: u8 = 13; // 0x0du8