var
  array: [3]Int := [2, 4, 6]
  slice: []Int

begin
  slice := array[1 to 3];

  assert(slice.length = 3u);
  assert(slice[1] = 2);
  assert(slice[3] = 6)
end.