#include <threads.h>

void (cnd_destroy)(cnd_t *cnd) {
	/* For private cv this is a no-op */
}