Symbol: ATOMIC_DEC32