pub const ENCODING_ENC_FRINTZ_Z_P_Z_: ENCODING = 2951;