1#include "threads_impl.h" 2 3int pthread_attr_init(pthread_attr_t* a) { 4 *a = DEFAULT_PTHREAD_ATTR; 5 return 0; 6} 7