#include <threads.h>

int __pthread_mutex_unlock(mtx_t*);

int mtx_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);
}