Rename semaphore to counter