FAILED:IO#readpartial reads after ungetc without data in the buffer
FAILED:IO#readpartial reads after ungetc with data in the buffer
