pub const ENCODING_ENC_FTSMUL_Z_ZZ_: ENCODING = 2962;