#include int pthread_getconcurrency() { return 0; }