1#include "threads_impl.h"
2
3int pthread_cond_wait(pthread_cond_t* restrict c, pthread_mutex_t* restrict m) {
4    return pthread_cond_timedwait(c, m, 0);
5}
6