#include <stdio.h>

extern "C"
{
    int fclose(FILE*)
    {
        return -1;
    }
    int fflush(FILE*)
    {
        return -1;
    }
    FILE* fopen(const char*, const char*)
    {
        return 0;
    }
    int fprintf(FILE*, const char*, ...)
    {
        return -1;
    }
    size_t fread(void*, size_t, size_t, FILE*)
    {
        return 0;
    }
    int fseek(FILE*, long, int)
    {
        return -1;
    }
    long ftell(FILE*)
    {
        return -1;
    }
    size_t fwrite(const void*, size_t, size_t, FILE*)
    {
        return 0;
    }
    void setbuf(FILE*, char*)
    {
        return;
    }
    int vfprintf(FILE*, const char*, va_list)
    {
        return -1;
    }
}