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