The x86::ADD32mi8 instruction is working