printf ("with %%C: %C\n", tmp[0]);
printf ("with %%C: %C\n", (wint_t) tmp[0]);
main (void){  wchar_t tmp[3];  tmp[0] = '8';  tmp[1] = '1';  tmp[2] = 0;  printf ("Test for wide character output with printf\n");  printf ("with %%S: %S\n", tmp);  printf ("with %%C: %C\n", tmp[0]);  return 0;}