Move on from the decompiler to the rewriter