Who cares? Who said anything about recreating the exact code? You will get usable, compilable, and surprisingly readable source code, in your language of choice, that yields the functional equivalent of the binary.

Barring obvious edge cases that could show up but don't usually, like intentional race conditions. Timing is the one area where things get iffy.