reko: a binary decompiler