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