rem: console.status = console._statusStack.pop(); 
add: console._statusStack.pop(); console.status = console._statusStack[console._statusStack.length - 1]; 
context: function con_popstatus (){    console.status = console._statusStack.pop();}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/92b1e3b67c6c3ef1915d2a0e18c1fa7be21e200e/venkman-static.js/buggy/extensions/venkman/resources/content/venkman-static.js