#include <threads.h>

void (mtx_destroy)(mtx_t *mtx) {
	/* empty */
}