not (i64 != i)
