michael@0: var o0 = [];
michael@0: var o1 = new String("foobarbaz");
michael@0: var o2 = {};
michael@0: var o3 = new String("foobarbaz");
michael@0: var o4 = {};
michael@0: var o5 = Math;
michael@0: var o6 = {};
michael@0: var o7 = new String("foobarbaz");
michael@0: var o8 = new String("foobarbaz");
michael@0: var o9 = Math;
michael@0: var o10 = Math;
michael@0: var o11 = function() {};
michael@0: var o12 = {};
michael@0: var o13 = new String("foobarbaz");
michael@0: var o14 = {};
michael@0: 
michael@0: function f1(o) { return o.length;};
michael@0: function f2(o) { o.g2 = function() {};};
michael@0: function f3(o) { return o.g10;};
michael@0: function f4(o) { o.g4 = function() {};};
michael@0: function f5(o) { return o == o14;};
michael@0: function f6(o) { o[3] = o;};
michael@0: function f7(o) { o[3] = undefined;};
michael@0: function f8(o) { o[3] = undefined;};
michael@0: function f9(o) { return o.length;};
michael@0: function f10(o) { return o.__proto__; };
michael@0: 
michael@0: for(var i=0; i<20; i++) {
michael@0:     f9(o11);
michael@0:     f6(o0);
michael@0:     f2(o1);
michael@0:     f2(o6);
michael@0:     f7(o6);
michael@0:     f8(o11);
michael@0:     f2(o5);
michael@0:     f7(o9);
michael@0:     f7(o12);
michael@0:     f6(o4);
michael@0:     f5(o1);
michael@0:     f4(o1);
michael@0:     f8(o8);
michael@0:     f6(o5);
michael@0:     f2(o0);
michael@0:     f10(o7);
michael@0:     f3(o3);
michael@0:     f4(o1);
michael@0:     f9(o3);
michael@0:     f4(o11);
michael@0:     f4(o0);
michael@0:     f2(o4);
michael@0:     f4(o10);
michael@0: }