i32 >= array[i]
