var
  ints: [4]Int := [4]Int{ 1, 2, 3, 4 }

begin
  assert(cast(ints[1u to 4u]: []Char).length = #size(Int) * ints.length)
end.