void mutex_unlock(smx_mutex_t mutex);
smx_cond_t cond_init() [[nohandler]];
-void cond_signal(smx_cond_t cond);
void cond_wait(smx_cond_t cond, smx_mutex_t mutex) [[block]];
void cond_wait_timeout(smx_cond_t cond, smx_mutex_t mutex, double timeout) [[block]];
-void cond_broadcast(smx_cond_t cond);
void sem_acquire(smx_sem_t sem) [[block]];
void sem_acquire_timeout(smx_sem_t sem, double timeout) [[block]];