pub const ENCODING_ENC_UMLSLB_Z_ZZZI_D: ENCODING = 3670;