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