array[i64] < i
