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

begin
  slice := input[1u to input.length];

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