1 #include <pthread.h>
2 int main(int argc, char *argv[])
3 {
4    pthread_cond_t c;
5    pthread_cond_init(& c, NULL);
6    pthread_cond_destroy(& c);
7    return 0;
8 }
9