pub const ENCODING_ENC_SQADD_Z_ZI_: ENCODING = 3411;