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