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