Symbol: pthread_mutexattr_getrobust