#include int cnd_wait(cnd_t *c, mtx_t *m) { /* Calling cnd_timedwait with a null pointer is an extension. * It is convenient here to avoid duplication of the logic * for return values. */ return cnd_timedwait(c, m, 0); }