// assume existence of mutex_t and condition_t;
typedef struct semaphore {
...
} *semaphore_t;
// create a new semaphore initialized to count
semaphore_t sem_create(int count)
{
}
void sem_P(semaphore_t s)
{
}
void sem_V(semaphore_t s)
{
}