michael@0: // Binary: cache/js-dbg-32-8aa5d9272628-linux
michael@0: // Flags: -m -n
michael@0: //
michael@0: (function() {
michael@0:     with([]) {}
michael@0:     Object.defineProperty([], "", {
michael@0:         set: (function() {})
michael@0:     })
michael@0: })()