2 * Any copyright is dedicated to the Public Domain.
3 * http://creativecommons.org/licenses/publicdomain/
4 * Contributors: Jan de Mooij
7 Object.preventExtensions(this);
12 Object.getOwnPropertyNames(this);
14 reportCompare(true, false, "this shouldn't have thrown");
16 reportCompare(0, 0, "ok");