1#include <threads.h>
2
3void mtx_destroy(mtx_t *mtx)
4{
5}