pub const ENCODING_ENC_MOV_MOVZ_32_MOVEWIDE: ENCODING = 1076;