#include "stdio_impl.h" #include wint_t getwchar(void) { return fgetwc(stdin); }