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

proc set_element(element: ^Int)
begin
  element^ := 1
return

begin
  for x of actual do
    set_element(x)
  end;
  assert(actual = [1, 1])
end.