pthread_barrier_destroy
int pthread_barrier_destroy(pthread_barrier_t *);
if (pthread_barrier_destroy(&barrier)) {
FORKEE_PTHREAD(pthread_barrier_destroy(