Hot: decompiler