var
  actual: [4]Word := [0u, 0u, 0u, 0u]
  i: Word := 0u

begin
  repeat
    i := i + 1u;
    actual[i] := i
  until i = 4u;
  assert(actual = [1u, 2u, 3u, 4u])
end.