Symbol: pthread_mutex_unlock