General / counting semaphore

S >= 0, S = 0, 1, 2…

Can be mimicked by binary semaphores