It seems quite nice. The resulting C file seems somewhat readable.
Conversion takes a LOT of memory. I converted a 1MB windows binary and it used more then 17GB.
For a 3.7MB linux binary, it crashed. I guess it exhausted my 32GB memory. I'll add some swap and try again later.