12 timerserver.c
4 schedulerpriorityyield.c