michael@0: // Binary: cache/js-dbg-64-38754465ffde-linux
michael@0: // Flags:
michael@0: //
michael@0: this.__defineSetter__("x", gc);
michael@0: this.watch("x",function(){return});
michael@0: x = 3;