Binary semaphore

S = 0 | 1

See Wait(S) interface, if it hits 0, it will pause and only decrement later.