#include<threads.h>int__pthread_mutex_unlock(mtx_t*);intmtx_unlock(mtx_t*mtx){/* The only cases where pthread_mutex_unlock can return an * error are undefined behavior for C11 mtx_unlock, so we can * assume it does not return an error and simply tail call. */return__pthread_mutex_unlock(mtx);}