add: ["profile.forceScriptLoad", false], 
context: function initProfiler (){    var prefs =        [         ["profile.template.xml", "chrome://venkman/locale/profile.xml.tpl"],         ["profile.template.html", "chrome://venkman/locale/profile.html.tpl"],         ["profile.template.csv", "chrome://venkman/locale/profile.csv.tpl"],         ["profile.template.txt", "chrome://venkman/locale/profile.txt.tpl"],         ["profile.ranges.default", "1000000, 5000, 2500, 1000, 750, 500, " +          "250, 100, 75, 50, 25, 10, 7.5, 5, 2.5, 1, 0.75, 0.5, 0.25"]        ];    console.prefManager.addPrefs(prefs);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/66679ada270c27acd45b0f21a471203e6a88b0da/venkman-profiler.js/buggy/extensions/venkman/resources/content/venkman-profiler.js