#include <wchar.h>

wchar_t * wcstok(wchar_t * restrict s1, const wchar_t * restrict s2, wchar_t ** restrict ptr)
{
	(void)s1; (void)s2; (void)ptr;
	return s1;
}

/*
STDC(199409)
*/