typedef pthread_cond_t Cond;

Cond *make_cond ();
void cond_wait (Cond *cond, Lock *lock);
void cond_signal (Cond *cond);