# Minimized program:
var a = new Float64Array(1);
function copy() { a[0] = undefined; }
copy();
print(new Int32Array(a.buffer)[1]);


# Compared nocrankshaft with noturbo_opt

# Flags of nocrankshaft:
--abort_on_stack_overflow --expose-gc --allow-natives-syntax --invoke-weak-callbacks --omit-quit  --random-seed -1285689746 --nocrankshaft
# Flags of noturbo_opt:
--abort_on_stack_overflow --expose-gc --allow-natives-syntax --invoke-weak-callbacks --omit-quit  --random-seed -1285689746 --always-opt --turbo-filter=~

Difference:
- 2146959360
+ -524288

### Start of configuration nocrankshaft:
2146959360

### End of configuration nocrankshaft

### Start of configuration noturbo_opt:
-524288

### End of configuration noturbo_opt