.B #include <stdio.h>
.B #include <wchar.h>
.PP
-.BI "int wprintf(const wchar_t *" format ", ...);"
-.BI "int fwprintf(FILE *" stream ", const wchar_t *" format ", ...);"
-.BI "int swprintf(wchar_t *" wcs ", size_t " maxlen ,
-.BI " const wchar_t *" format ", ...);"
+.BI "int wprintf(const wchar_t *restrict " format ", ...);"
+.BI "int fwprintf(FILE *restrict " stream ,
+.BI " const wchar_t *restrict " format ", ...);"
+.BI "int swprintf(wchar_t *restrict " wcs ", size_t " maxlen ,
+.BI " const wchar_t *restrict " format ", ...);"
.PP
-.BI "int vwprintf(const wchar_t *" format ", va_list " args );
-.BI "int vfwprintf(FILE *" stream ", const wchar_t *" format ", va_list " args );
-.BI "int vswprintf(wchar_t *" wcs ", size_t " maxlen ,
-.BI " const wchar_t *" format ", va_list " args );
+.BI "int vwprintf(const wchar_t *restrict " format ", va_list " args );
+.BI "int vfwprintf(FILE *restrict " stream ,
+.BI " const wchar_t *restrict " format ", va_list " args );
+.BI "int vswprintf(wchar_t *restrict " wcs ", size_t " maxlen ,
+.BI " const wchar_t *restrict " format ", va_list " args );
.fi
.PP
.RS -4