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