pub const ENCODING_ENC_SMINV_R_P_Z_: ENCODING = 3381;