i64 <= array[i32]
