#include <threads.h>

void mtx_destroy(mtx_t *mtx)
{
}