#include <stdio.h>
#include <__fio.h>
int ungetc(int c, FILE *fp)
{
if (c == EOF) {
return EOF;
}
int res = __fio_ungetc(fp, c);
return res == -1 ? EOF : c;