A tcl bytecode decompiler