Whoa. Just fixed a few more bugs, and now x64 code translation happens losslessly. Very cool. (And time to throw more test cases at it, probably.)