michael@0: // Binary: cache/js-dbg-32-b01eb1ba58ce-linux
michael@0: // Flags:
michael@0: //
michael@0: a = (0).__proto__
michael@0: b = (0).__proto__
michael@0: b.__defineSetter__("valueOf", function() {})
michael@0: a + 8