DumpCore -- An x86-like virtual machine.