FPRINTF_WM_CHARS 3963 src/w32fns.c   	      FPRINTF_WM_CHARS((stderr, "VkKeyScanW %#06x %#04x\n", (int)r,
FPRINTF_WM_CHARS 4076 src/w32fns.c   	  FPRINTF_WM_CHARS((stderr, "unichar %#06x\n", *b));
FPRINTF_WM_CHARS 4082 src/w32fns.c   	FPRINTF_WM_CHARS((stderr, "extra ctrl char\n"));
FPRINTF_WM_CHARS 4087 src/w32fns.c         FPRINTF_WM_CHARS((stderr, "dead %#06x\n", is_dead));