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