An x86 assembly to y86 translator