all(list, i <= i64)
