#include <wchar.h>

wchar_t * wcsstr(const wchar_t * s1, const wchar_t * s2)
{
	(void)s2;
	return (wchar_t*)s1;
}

/*
STDC(199409)
*/