# Decrement the counter atomically,
	# signals to waiting thread(s) if `c == 0`
	fun decrement do
		mutex.lock
		c -= 1
		if c == 0 then
			cond.signal
		end
		mutex.unlock
	end