L4.22: Counting semaphore using binary semaphore

Published --