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: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/64f0128f805d7f7a53819c408a30c765aa23f1fc/venkman-debugger.js/buggy/extensions/venkman/resources/content/venkman-debugger.js