#include <wchar.h>

wchar_t *wcstok_s(wchar_t * restrict s1, rsize_t * restrict s1max,
	const wchar_t * restrict s2, wchar_t ** restrict ptr)
{
	__C_EXT(1, 201112L);
}

/*
CEXT1(201112)
*/