correct decompilation