pub const BadIDChoice: u32 = 14;