in MotionMark/resources/extensions.js [545:556]
push: function(value)
{
if (this._size == this._maxSize) {
// If size is bounded and the new value can be a parent of the top()
// if the size were unbounded, just ignore the new value.
if (this._compare(value, this.top()) > 0)
return;
this.pop();
}
this._values[this._size++] = value;
this._bubble(this._size - 1);
},