var
  a: [3]Int := [1, 2, 3]
  b: [2]Int := [4, 0]

begin
  assert(a[1] = 1 & a[2] = 2 & a[3] = 3);
  assert(b[1] = 4 & b[2] = 0);

  a := [5, 6, 7];
  assert(a[1] = 5 & a[2] = 6 & a[3] = 7)
end.