not (i64 >= 1)
