void ctl_semaphore_init(CTL_SEMAPHORE_t *s, unsigned value);
ctl_semaphore_init initializes the semaphore pointed to by s to value.