#include <stdio.h>
#include <wchar.h>
#include <inttypes.h>

#define WIDE(X) WIDE2(X)
#define WIDE2(X) L##X


int main(void) {
    uint32_t foo = 42;

    wprintf(L"%" WIDE(PRIu32), foo);
	
	return 0;
}