not (i64 > 1)
