pthread_barrier_destroy
pthread_barrier_destroy(pthread_barrier_t* barrier)
void pthread_barrier_destroy() {}