michael@0: // Any copyright is dedicated to the Public Domain.
michael@0: // http://creativecommons.org/licenses/publicdomain/
michael@0: // Contributor: Jason Orendorff <jorendorff@mozilla.com>
michael@0: 
michael@0: "" + eval("(function () { if (x) ; else if (y) n(); else { " + Array(10000).join("e;") + " } });");
michael@0: 
michael@0: if (this.reportCompare)
michael@0:     reportCompare(0, 0, "ok");