michael@0: // Any copyright is dedicated to the Public Domain.
michael@0: // http://creativecommons.org/licenses/publicdomain/
michael@0: 
michael@0: var a = {p0: function () {}};
michael@0: var b = /f/;
michael@0: b.__proto__ = a;
michael@0: b.watch("p0", function () {});
michael@0: b.p0;
michael@0: 
michael@0: reportCompare(0, 0, "ok");