Symbol: raw_atomic_dec_if_positive