rem: if (__ex && __ex.fileName && 
add: if (__ex && typeof ex == "object" && "fileName" in __ex && 
context: function con_eval(__s){    var __ex;    try    {        return eval(__s);    }    catch (__ex)    {        dd ("doEval caught: " + __ex);                if (__ex && __ex.fileName &&            __ex.fileName.search (/venkman-eval.js$/) != -1)        {            __ex.fileName = MSG_VAL_CONSOLE;            __ex.lineNumber = 1;        }        throw __ex;    }}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/ee3e81c9eee0bf8794a2af998756d3a96e8053ee/venkman-eval.js/buggy/extensions/venkman/resources/content/venkman-eval.js