Project: x86 to ARM binary translator