michael@0: if (!this.gcPreserveCode)
michael@0:     gcPreserveCode = function() {};
michael@0: this.toString = (function() {
michael@0:   x.filter(function() {})
michael@0: });
michael@0: x = [0, 0, 0, 0, 0, 0, 0];
michael@0: gcPreserveCode()
michael@0: print(this)
michael@0: gc();
michael@0: this + ''