1 #include <stdio.h>
2 #include <wchar.h>
3 
4 int
main(int argc,char * argv[])5 main (int argc, char *argv[])
6 {
7   fputws (L"Hello world!\n", stdout);
8   wprintf (L"This %s a %ls string: %d\n", "is", L"mixed", 42);
9   wprintf (L"%Iu\n", 0xfeedbeef);
10   return 0;
11 }
12