pub const ENCODING_ENC_SQDMULH_Z_ZZ_: ENCODING = 3442;