A virtual machine for the x86 architecture