C_Binding

   #include <pthread.h>

   int
   pthread_getconcurrency (
               void);