michael@0: var o3 = new String("foobarbaz");
michael@0: var o10 = Math;
michael@0: var o11 = function() {};
michael@0: 
michael@0: function f3(o) { return o; };
michael@0: function f4(o) { o.g4 = function() {}; };
michael@0: 
michael@0: for(var i=0; i<20; i++) {
michael@0:     o11[3] = undefined;
michael@0:     f4(o3);
michael@0:     f3(o3);
michael@0:     f4(o11);
michael@0:     f4(o10);
michael@0: }