8086tiny: a tiny PC emulator/virtual machine