#include "_pthread.h" int pthread_attr_destroy(pthread_attr_t *const attr) { USED(attr); return 0; }