not (i64 != 1)
