HelenOS sources

PRODUCERS          82 kernel/test/synch/semaphore1.c 		producers = (4 - i) * PRODUCERS;
PRODUCERS          87 kernel/test/synch/semaphore1.c 		for (j = 0; j < (CONSUMERS + PRODUCERS) / 2; j++) {
HelenOS homepage, sources at GitHub