michael@0: // Binary: cache/js-dbg-64-e08a67884b9b-linux
michael@0: // Flags: -m -n -a
michael@0: //
michael@0: function f([x]){}f(DataView.prototype)