pthread_mutexattr_settype • man page