Fixes for wcstok.

@@ -277,11 +277,11 @@
 extern wchar_t *wcsrchr(const wchar_t *, wchar_t);
 #endif /* __cplusplus >= 199711L */
 
 #if (!defined(_MSE_INT_H))
 #if defined(_XPG4) && !defined(_XPG5) /* XPG4 or XPG4v2 */
-extern wchar_t *wcstok(wchar_t *, const wchar_t *);
+extern wchar_t *wcstok(wchar_t *_RESTRICT_KYWD, const wchar_t *_RESTRICT_KYWD);
 extern size_t wcsftime(wchar_t *, size_t, const char *, const struct tm *);
 #else   /* XPG4 or XPG4v2 */
 #ifdef __PRAGMA_REDEFINE_EXTNAME
 #pragma redefine_extname wcstok __wcstok_xpg5
 #pragma redefine_extname wcsftime       __wcsftime_xpg5