Re: mvcrt.ungetc and stdio buffering