Final Main works
bWait and bSignal still needs to be implemented with
binary semaphores.