in MotionMark/resources/extensions.js [591:600]
str: function()
{
var out = "Heap[" + this._size + "] = [";
for (var i = 0; i < this._size; ++i) {
out += this._values[i];
if (i < this._size - 1)
out += ", ";
}
return out + "]";
},