cnd_wait
int cnd_wait(cnd_t *, mtx_t *);
RT(cnd_wait(&cnd, &mtx));
ATF_REQUIRE_EQ(cnd_wait(&b_c, &b_m), thrd_success);