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

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

end.