pub const BadIDChoice: c_uchar = 14;