pub const ENCODING_ENC_SMIN_Z_P_ZZ_: ENCODING = 3378;