Can you print a wchar_t using printf and some sort of % format? Is this a reasonable thing to want to do at all? K&R II and H&S seem to say nothing about this...