pub const ENCODING_ENC_HISTSEG_Z_ZZ_: ENCODING = 2965;