x86 to machine code translation framework