down [number]Decrements the semaphore's count by the specified number, which defaults to 1.
If the resulting count would be negative, blocks until the semaphore's count
has been increased to be equal to or larger than the amount you want to
decrease it.