#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);}