// Any copyright is dedicated to the Public Domain.
// http://creativecommons.org/licenses/publicdomain/

var a = {p0: function () {}};
var b = /f/;
b.__proto__ = a;
b.watch("p0", function () {});
b.p0;

reportCompare(0, 0, "ok");