1#include <pthread.h>
2
3int pthread_getconcurrency() {
4    return 0;
5}
6