#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;
}