Exporting Semaphore type