pub const ENCODING_ENC_MOVPRFX_Z_Z_: ENCODING = 3254;