michael@0: // Binary: cache/js-dbg-64-fadb38356e0f-linux
michael@0: // Flags:
michael@0: //
michael@0: function f() {
michael@0:     this.e = function() {};
michael@0:     Object.defineProperty(this, "e", ({
michael@0:         get: eval
michael@0:     }));
michael@0: }
michael@0: new f();