michael@0: // No result, just mustn't crash.
michael@0: Array.prototype.push(0);
michael@0: Array.prototype.indexOf();