rem:  if (console._stopLevel > 0) { --console._stopLevel; console.jsds.exitNestedEventLoop(); }  
context: function detachDebugger(){    console.jsds.topLevelHook = null;    console.jsds.functionHook = null;    console.jsds.breakpointHook = null;    console.jsds.debuggerHook = null;    console.jsds.errorHook = null;    console.jsds.scriptHook = null;    console.jsds.interruptHook = null;    console.jsds.clearAllBreakpoints();    console.jsds.clearFilters();    if (!console.jsds.initAtStartup)        console.jsds.off();    if (console._stopLevel > 0)    {        --console._stopLevel;        console.jsds.exitNestedEventLoop();    }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/f3502b24c7278409659c1fbb40c421891efc1bb0/venkman-debugger.js/buggy/extensions/venkman/resources/content/venkman-debugger.js