rem: function con_ondt (type) 
add: function con_ondt () 
context: function con_ondt (type){    var frame = setCurrentFrameByIndex(0);        if (type != jsdIExecutionHook.TYPE_INTERRUPTED ||        console._lastStackDepth != console.frames.length)    {        display (formatFrame(frame));    }    displaySource (frame.script.fileName, frame.line,                    (type == jsdIExecutionHook.TYPE_INTERRUPTED) ? 0 : 2);        console._lastStackDepth = console.frames.length;        enableDebugCommands()}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/fbcbb6ecf099d092e005337562454bc2d72a9c5c/venkman-handlers.js/buggy/extensions/venkman/resources/content/venkman-handlers.js