❯ cargo run -q -p nargo_cli -- interpret --force --silence-warnings --show-ssa
After Initial SSA:
acir(inline) fn main f0 {
  b0():
    v2 = make_array [Field -1, u1 1] : [(Field, u1); 1]
    v3 = allocate -> &mut [(Field, u1); 1]
    store v2 at v3
    v4 = load v3 -> [(Field, u1); 1]
    v7 = unchecked_mul u32 2147483648, u32 2
    v8 = array_get v4, index v7 -> Field
    v10 = unchecked_add v7, u32 1
    v11 = array_get v4, index v10 -> u1
    return v11
}

--- Interpreter result after Initial SSA:
Ok(u1 1)
---
...
--- Interpreter result after Dead Instruction Elimination (step 44):
Ok(u1 1)
---
After Verifying no dynamic array indices to reference value elements (step 45):
acir(inline) predicate_pure fn main f0 {
  b0():
    v2 = make_array [Field -1, u1 1] : [(Field, u1); 1]
    v5 = unchecked_mul u32 2147483648, u32 2
    v7 = unchecked_add v5, u32 1
    v8 = array_get v2, index v7 -> u1
    return v8
}

--- Interpreter result after Verifying no dynamic array indices to reference value elements (step 45):
Ok(u1 1)
---

❯ cargo run -q -p nargo_cli -- execute --force --silence-warnings 
error: Index out of bounds, array has size 2, but index was 4294967297
  ┌─ src/main.nr:3:5
  │
3 │     e[2147483648_u32].1
  │     -----------------
  │
  = Call stack:
    1. src/main.nr:3:5

Failed to solve program: 'Index out of bounds, array has size 2, but index was 4294967297'