When the pool is reset what about the semaphores?