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

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

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