I wonder if this was mostly a manual effort, or used one of the various automatic decompilers which have become available in the past few years? I can already decompile manually into C/C++ about as quickly as I can read the Asm, but IDA/Hexrays can do it several orders of magnitude faster.