An x86 PC emulator