michael@0: // Binary: cache/js-dbg-64-f5e128da7b5f-linux
michael@0: // Flags: -j
michael@0: //
michael@0: [(delete(/x/ [x])) for each(x in [0, 0, 0, 0, 0, x, 0, 0, 0x40000001])]