HelenOS sources

CONSUMERS          81 kernel/test/synch/semaphore1.c 		consumers = i * CONSUMERS;
CONSUMERS          87 kernel/test/synch/semaphore1.c 		for (j = 0; j < (CONSUMERS + PRODUCERS) / 2; j++) {