#include <threads.h>

void mtx_destroy(mtx_t *mtx)
{
}


#ifdef TEST
int
main(void) {
	return 0;
}
#endif