var
  actual: [4]Word := [0u, 0u, 0u, 0u]
  input: [4]Word := [2u, 4u, 6u, 8u]
  i: Word := 1u

begin
  for element of input do
    actual[i] := element^ * 2u;
    i := i + 1u
  end;
  assert(actual = [4u, 8u, 12u, 16u])
end.