michael@0: // Any copyright is dedicated to the Public Domain.
michael@0: // http://creativecommons.org/licenses/publicdomain/
michael@0: 
michael@0: var a = {set p(x) {}};
michael@0: a.watch('p', function () {});
michael@0: var b = Object.create(a);
michael@0: b.watch('p', function () {});
michael@0: delete b.p;
michael@0: b.p = 0;
michael@0: 
michael@0: reportCompare(0, 0, 'ok');