michael@0: var o0 = [];
michael@0: var o4 = {};
michael@0: var o5 = Math;
michael@0: function f6(o) { o[("Keywords")] = o;};
michael@0: for(var i=0; i<20; i++) {
michael@0:     f6(o0);
michael@0:     f6(o4);
michael@0:     f6(o5);
michael@0:     print(i);
michael@0: }
michael@0: gc();