void pthread_exit(void *);
int pthread_join(pthread_t, void **);
+#ifdef __GNUC__
+__attribute__((const))
+#endif
pthread_t pthread_self(void);
int pthread_equal(pthread_t, pthread_t);
int pthread_atfork(void (*)(void), void (*)(void), void (*)(void));
+int pthread_getconcurrency(void);
+int pthread_setconcurrency(int);
+
#include <bits/pthread.h>
int __setjmp(void *);