<pthreads.h> header has been included