#include <stdio.h>
#include <stdlib.h>
#include <__fio.h>

int fflush(FILE *fp)
{
    int res = __fio_flush(fp);
    if (res != 0) {
        return -1;
    }

    return 0;
}