i32 <= len(array)
