pub const ENCODING_ENC_SQADD_Z_ZZ_: ENCODING = 3412;