c

Counting semaphores in Minix for solving the producer-consumer problem