This can be `OSAtomicDecrement32Barrier`.