not (i64 != i64)
