#include <threads.h>#include <pthread.h>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((pthread_mutex_t *)mtx);}