rem: throw BadMojo (ERR_NO_STACK); 
add: throw new BadMojo (ERR_NO_STACK); 
context: function setCurrentFrameByIndex (index){    if (!console.frames)        throw BadMojo (ERR_NO_STACK);        ASSERT (index >= 0 && index < console.frames.length, "index out of range");    console._currentFrameIndex = index;    console.onFrameChanged (console.frames[console._currentFrameIndex],                            console._currentFrameIndex);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/f3d6f202e03bf7eb5a523e578f7f3f815c60a85b/venkman-debugger.js/clean/extensions/venkman/resources/content/venkman-debugger.js