mvcrt.ungetc and stdio buffering