michael@0: s = newGlobal('');
michael@0: function f(code) {
michael@0:     try {
michael@0:         evalcx(code, s)
michael@0:     } catch (e) {}
michael@0: }
michael@0: f("\
michael@0:     options('strict');\
michael@0:     var x;\
michael@0:     y='';\
michael@0:     Object.preventExtensions(this);\
michael@0:     y=new String;\
michael@0:     y.toString=(function(){x=new Iterator});\
michael@0: ");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("var z;");
michael@0: f("\
michael@0:     Iterator=String.prototype.toUpperCase;\
michael@0:     v=(function(){});\
michael@0:     Object.defineProperty(Function,0,({enumerable:x}));\
michael@0: ")