#include <threads.h>

int __pthread_detach(thrd_t t);

int thrd_detach(thrd_t t)
{
	/* This internal function never fails, so it always returns
	 * 0. Under the assumption that thrd_success is 0 this is a
	 * tail call. */
	return __pthread_detach(t);
}