clarified that we need an *array* of semaphores.