michael@0: {
michael@0:     function newSandbox(n) {}
michael@0: }
michael@0: var o12 = Float32Array.prototype;
michael@0: function f12(o) {
michael@0:     eval('o')['__proto_' + '_'] = null;
michael@0: }
michael@0: for (var i = 0; i < 14; i++) {
michael@0:     gc()
michael@0:     new f12(o12);
michael@0: }