michael@0: function x() {
michael@0:     [1];
michael@0: }
michael@0: Array.prototype.__proto__ = {};
michael@0: x();
michael@0: Array.prototype.__proto__ = null;
michael@0: x();