A Prototype Decompiler for 32-bit x86 Executables