pub const ENCODING_ENC_UMLSLT_Z_ZZZI_D: ENCODING = 3673;