static void file_put_buffer(void *opaque, const uint8_t *buf,

                            int64_t pos, int size)

{

    QEMUFileStdio *s = opaque;

    fseek(s->outfile, pos, SEEK_SET);

    fwrite(buf, 1, size, s->outfile);

}

static void file_put_buffer(void *opaque, const uint8_t *buf,

                            int64_t pos, int size)

{

    QEMUFileStdio *s = opaque;

    fseek(s->outfile, pos, SEEK_SET);

    fwrite(buf, 1, size, s->outfile);

}

static void FUNC_0(void *VAR_0, const uint8_t *VAR_1,

                            int64_t VAR_2, int VAR_3)

{

    QEMUFileStdio *s = VAR_0;

    fseek(s->outfile, VAR_2, SEEK_SET);

    fwrite(VAR_1, 1, VAR_3, s->outfile);

}

static void FUNC_0(void *VAR_0, const uint8_t *VAR_1,
int64_t VAR_2, int VAR_3)
{ QEMUFileStdio *s = VAR_0; fseek(s->outfile, VAR_2, SEEK_SET); fwrite(VAR_1, 1, VAR_3, s->outfile); }