(module Semaphore)