rem: var pc = script.lineToPc (line + 1); 
add: var pc = script.lineToPc (line + 1, PCMAP_SOURCETEXT); 
context: function findNextExecutableLine (script, line){    var pc = script.lineToPc (line + 1);    }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/5467cf55d0e4ffed5b6e6b751023443990cb7144/venkman-debugger.js/buggy/extensions/venkman/resources/content/venkman-debugger.js