pthread_condattr_destroy
int pthread_condattr_destroy(pthread_condattr_t *);
ATF_REQUIRE(pthread_condattr_destroy(&condattr) == 0);