michael@0: /*
michael@0:  * Any copyright is dedicated to the Public Domain.
michael@0:  * http://creativecommons.org/licenses/publicdomain/
michael@0:  */
michael@0: 
michael@0: function f() {}
michael@0: f.p = function() {};
michael@0: Object.freeze(f);
michael@0: f.p;
michael@0: 
michael@0: reportCompare(0, 0, "ok");