Tiniest x86-64-linux emulator