An emulator for the universal machine