Binary translator from binary code for virtual processor to x86 - View it on GitHub