name : dec_unless_positive cat <<EOF ${int} c = raw_${atomic}_read(v); do { if (unlikely(c > 0)) return false; } while (!raw_${atomic}_try_cmpxchg(v, &c, c - 1)); return true; EOF