shouldBe("Array.prototype.toString.length","0");
shouldBe("Array.prototype.toLocaleString.length","0");
shouldBe("Array.prototype.concat.length","1");
shouldBe("Array.prototype.join.length","1");
shouldBe("Array.prototype.pop.length","0");
shouldBe("Array.prototype.push.length","1");
shouldBe("Array.prototype.reverse.length","0");
shouldBe("Array.prototype.shift.length","0");
shouldBe("Array.prototype.slice.length","2"); // 15.4.4.10
shouldBe("Array.prototype.sort.length","1");
shouldBe("Array.prototype.splice.length","2"); // 15.4.4.12
shouldBe("Array.prototype.unshift.length","1");
shouldBe("Boolean.prototype.toString.length","0");
shouldBe("Boolean.prototype.valueOf.length","0");
shouldBe("Date.prototype.toString.length","0");
shouldBe("Date.prototype.toUTCString.length","0");
shouldBe("Date.prototype.toDateString.length","0");
shouldBe("Date.prototype.toTimeString.length","0");
shouldBe("Date.prototype.toLocaleString.length","0");
shouldBe("Date.prototype.toLocaleDateString.length","0");
shouldBe("Date.prototype.toLocaleTimeString.length","0");
shouldBe("Date.prototype.valueOf.length","0");
shouldBe("Date.prototype.getTime.length","0");
shouldBe("Date.prototype.getFullYear.length","0");
shouldBe("Date.prototype.getUTCFullYear.length","0");
shouldBe("Date.prototype.toGMTString.length","0");
shouldBe("Date.prototype.getMonth.length","0");
shouldBe("Date.prototype.getUTCMonth.length","0");
shouldBe("Date.prototype.getDate.length","0");
shouldBe("Date.prototype.getUTCDate.length","0");
shouldBe("Date.prototype.getDay.length","0");
shouldBe("Date.prototype.getUTCDay.length","0");
shouldBe("Date.prototype.getHours.length","0");
shouldBe("Date.prototype.getUTCHours.length","0");
shouldBe("Date.prototype.getMinutes.length","0");
shouldBe("Date.prototype.getUTCMinutes.length","0");
shouldBe("Date.prototype.getSeconds.length","0");
shouldBe("Date.prototype.getUTCSeconds.length","0");
shouldBe("Date.prototype.getMilliseconds.length","0");
shouldBe("Date.prototype.getUTCMilliseconds.length","0");
shouldBe("Date.prototype.getTimezoneOffset.length","0");
shouldBe("Date.prototype.setTime.length","1");
shouldBe("Date.prototype.setMilliseconds.length","1");
shouldBe("Date.prototype.setUTCMilliseconds.length","1");
shouldBe("Date.prototype.setSeconds.length","2");
shouldBe("Date.prototype.setUTCSeconds.length","2");
shouldBe("Date.prototype.setMinutes.length","3");
shouldBe("Date.prototype.setUTCMinutes.length","3");
shouldBe("Date.prototype.setHours.length","4");
shouldBe("Date.prototype.setUTCHours.length","4");
shouldBe("Date.prototype.setDate.length","1");
shouldBe("Date.prototype.setUTCDate.length","1");
shouldBe("Date.prototype.setMonth.length","2");
shouldBe("Date.prototype.setUTCMonth.length","2");
shouldBe("Date.prototype.setFullYear.length","3");
shouldBe("Date.prototype.setUTCFullYear.length","3");
shouldBe("Date.prototype.setYear.length","1");
shouldBe("Date.prototype.getYear.length","0");
shouldBe("Date.prototype.toGMTString.length","0");
shouldBe("Error.prototype.toString.length","0");
shouldBe("eval.length","1");
shouldBe("parseInt.length","2");
shouldBe("parseFloat.length","1");
shouldBe("isNaN.length","1");
shouldBe("isFinite.length","1");
shouldBe("escape.length","1");
shouldBe("unescape.length","1");
shouldBe("Math.abs.length","1");
shouldBe("Math.acos.length","1");
shouldBe("Math.asin.length","1");
shouldBe("Math.atan.length","1");
shouldBe("Math.atan2.length","2");
shouldBe("Math.ceil.length","1");
shouldBe("Math.cos.length","1");
shouldBe("Math.exp.length","1");
shouldBe("Math.floor.length","1");
shouldBe("Math.log.length","1");
shouldBe("Math.max.length","2");
shouldBe("Math.min.length","2");
shouldBe("Math.pow.length","2");
shouldBe("Math.random.length","0");
shouldBe("Math.round.length","1");
shouldBe("Math.sin.length","1");
shouldBe("Math.sqrt.length","1");
shouldBe("Math.tan.length","1");
shouldBe("Object.prototype.toString.length","0");
shouldBe("Object.prototype.valueOf.length","0");
shouldBe("RegExp.prototype.exec.length","1");
shouldBe("RegExp.prototype.test.length","1");
shouldBe("RegExp.prototype.toString.length","0");
shouldBe("String.fromCharCode.length","1");
shouldBe("String.prototype.concat.length","1");
shouldBe("String.prototype.toString.length","0");
shouldBe("String.prototype.valueOf.length","0");
shouldBe("String.prototype.charAt.length","1");
shouldBe("String.prototype.charCodeAt.length","1");
shouldBe("String.prototype.indexOf.length","1");
shouldBe("String.prototype.lastIndexOf.length","1");
shouldBe("String.prototype.match.length","1");
shouldBe("String.prototype.replace.length","2");
shouldBe("String.prototype.search.length","1");
shouldBe("String.prototype.slice.length","2"); // 15.5.4.13
shouldBe("String.prototype.split.length","2"); // 15.5.4.14
shouldBe("String.prototype.substr.length","2");
shouldBe("String.prototype.substring.length","2");
shouldBe("String.prototype.toLowerCase.length","0");
shouldBe("String.prototype.toUpperCase.length","0");
shouldBe("String.prototype.big.length","0");
shouldBe("String.prototype.small.length","0");
shouldBe("String.prototype.blink.length","0");
shouldBe("String.prototype.bold.length","0");
shouldBe("String.prototype.fixed.length","0");
shouldBe("String.prototype.italics.length","0");
shouldBe("String.prototype.strike.length","0");
shouldBe("String.prototype.sub.length","0");
shouldBe("String.prototype.sup.length","0");
shouldBe("String.prototype.fontcolor.length","1");
shouldBe("String.prototype.fontsize.length","1");
shouldBe("String.prototype.anchor.length","1");
shouldBe("String.prototype.link.length","1");
shouldBe("Number.prototype.toString.length", "1");
shouldBe("Number.prototype.valueOf.length", "0");
shouldBe("Number.prototype.toFixed.length", "1");