rem: console.onFrameChanged (cf, console._currentFrameIndex);  
context: function setCurrentFrameByIndex (index){    if (!console.frames)        throw new BadMojo (ERR_NO_STACK);        ASSERT (index >= 0 && index < console.frames.length, "index out of range");    console._currentFrameIndex = index;    var cf = console.frames[console._currentFrameIndex];    console.stopFile = (cf.isNative) ? MSG_URL_NATIVE : cf.script.fileName;    console.stopLine = cf.line;    delete console._pp_stopLine;    console.onFrameChanged (cf, console._currentFrameIndex);    return cf;}
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/92b1e3b67c6c3ef1915d2a0e18c1fa7be21e200e/venkman-debugger.js/clean/extensions/venkman/resources/content/venkman-debugger.js