pub const ENCODING_ENC_UQINCH_Z_ZS_: ENCODING = 3712;