michael@0: function f() {
michael@0:     gc();
michael@0:     [].unshift(false);
michael@0: }
michael@0: f();
michael@0: f();