#include "pthread_impl.h" int pthread_barrier_destroy(pthread_barrier_t *b) { return 0; }