michael@0: function f(x) {return x;}
michael@0: x = f(/abc/);
michael@0: eval("this.__defineSetter__(\"x\", function(){}); x = 3;");
michael@0: eval("var BUGNUMBER = 233483;");