michael@0: // Binary: cache/js-dbg-32-82ff7c27fcb0-linux
michael@0: // Flags:
michael@0: //
michael@0: var x = new Int32Array();
michael@0: x.set(x);