pub const ENCODING_ENC_FRSQRTS_Z_ZZ_: ENCODING = 2953;