pub const BadGC: u32 = 13;