michael@0: 
michael@0: function foo(x, y) {
michael@0:     gc();
michael@0:     var z = x + y;
michael@0:     print(z);
michael@0: }
michael@0: 
michael@0: foo(0x7ffffff0, 100);