clean up of API of FastSemaphore