Remote/local Ni (kbd,serial,eth) * p * t * g * bp * d[bwdq] * u * r [regs] * w[bwd] * r[bwd] Ni ::= Native instruction set i Ui ::= Unassemble instruction set i Zi ::= Translated instruction set i, continuous instructions for table lookups, autogenerated Emulator ::= inputs outputs Emulator.inputs ::= { Ni, Ui, Zi, kbd, serial, eth } Emulator.outputs ::= { text/cga,serial,eth }