pub const TID_LENGTH: usize = 13;
How many characters a TID always is. Not a maximum: a TID is never padded and never abbreviated.