#include int pthread_getconcurrency() { return 0; } #ifdef TEST int main(void) { return 0; } #endif