Wrap Semaphore with SATS