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

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