Got priority semaphores working