1#include <pthread.h>
2int 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