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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/f99569416a791b42da6a0c8c13e9ae2fae012e70/jsexec.js/buggy/js/narcissus/jsexec.js