var
  array: [2]Int := [0, 0]

begin
  for x of array do
    defer
      x^ := 1
    end
  end;
  assert(array = [1, 1])
end.