semaphores.pl updated