michael@0: var SECTION = "15.4.5.2-2";
michael@0: addCase(new Array, 0, Math, Math.pow(2, SECTION));
michael@0: var arg = "", i = 0;
michael@0: var a = eval("new Array(" + arg + ")");
michael@0: addCase(a, i, +i + 1, Math.pow(2, 12) + i + 1, true);
michael@0: function addCase(object, old_len, set_len, new_len, checkitems) {
michael@0:     for (var i = old_len; i < new_len; i++) if (object[i] != 0) {}
michael@0: }