pub const ENCODING_ENC_MOVZ_32_MOVEWIDE: ENCODING = 1067;