add: } catch (e if e == THROW) { if (x) { x.result = x2.result; throw THROW; } throw x2.result; 
context: function evaluate(s, f, l) {    var x = ExecutionContext.current;    var x2 = new ExecutionContext(GLOBAL_CODE);    ExecutionContext.current = x2;    try {        execute(compile(s, f, l), x2);    } finally {        ExecutionContext.current = x;    }    return x2.result;}
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/42c4aff0a0a40b3963a70bbc850caa094076ff7b/jsexec.js/clean/js/narcissus/jsexec.js