pub const MAX_UNICODE_EQUIVALENT_STRING: u32 = 16;