#include <pthread.h>

    int
    pthread_getconcurrency (
                void);