> For some reason, Reko was not able to decompile this code into a C representation, but it still produced a disassembly, which will work just fine for our purposes.

Perhaps an indication that the code in that segment was hand-written in assembly language rather than C?