static void tcx_screen_dump(void *opaque, const char *filename, bool cswitch,

                            Error **errp)

{

    TCXState *s = opaque;

    FILE *f;

    uint8_t *d, *d1, v;

    int ret, y, x;



    f = fopen(filename, "wb");

    if (!f) {

        error_setg(errp, "failed to open file '%s': %s", filename,

                   strerror(errno));

        return;

    }

    ret = fprintf(f, "P6\n%d %d\n%d\n", s->width, s->height, 255);

    if (ret < 0) {

        goto write_err;

    }

    d1 = s->vram;

    for(y = 0; y < s->height; y++) {

        d = d1;

        for(x = 0; x < s->width; x++) {

            v = *d;

            ret = fputc(s->r[v], f);

            if (ret == EOF) {

                goto write_err;

            }

            ret = fputc(s->g[v], f);

            if (ret == EOF) {

                goto write_err;

            }

            ret = fputc(s->b[v], f);

            if (ret == EOF) {

                goto write_err;

            }

            d++;

        }

        d1 += MAXX;

    }



out:

    fclose(f);

    return;



write_err:

    error_setg(errp, "failed to write to file '%s': %s", filename,

               strerror(errno));

    unlink(filename);

    goto out;

}

static void tcx_screen_dump(void *opaque, const char *filename, bool cswitch,

                            Error **errp)

{

    TCXState *s = opaque;

    FILE *f;

    uint8_t *d, *d1, v;

    int ret, y, x;



    f = fopen(filename, "wb");

    if (!f) {

        error_setg(errp, "failed to open file '%s': %s", filename,

                   strerror(errno));

        return;

    }

    ret = fprintf(f, "P6\n%d %d\n%d\n", s->width, s->height, 255);

    if (ret < 0) {

        goto write_err;

    }

    d1 = s->vram;

    for(y = 0; y < s->height; y++) {

        d = d1;

        for(x = 0; x < s->width; x++) {

            v = *d;

            ret = fputc(s->r[v], f);

            if (ret == EOF) {

                goto write_err;

            }

            ret = fputc(s->g[v], f);

            if (ret == EOF) {

                goto write_err;

            }

            ret = fputc(s->b[v], f);

            if (ret == EOF) {

                goto write_err;

            }

            d++;

        }

        d1 += MAXX;

    }



out:

    fclose(f);

    return;



write_err:

    error_setg(errp, "failed to write to file '%s': %s", filename,

               strerror(errno));

    unlink(filename);

    goto out;

}

static void FUNC_0(void *VAR_0, const char *VAR_1, bool VAR_2,

                            Error **VAR_3)

{

    TCXState *s = VAR_0;

    FILE *f;

    uint8_t *d, *d1, v;

    int VAR_4, VAR_5, VAR_6;



    f = fopen(VAR_1, "wb");

    if (!f) {

        error_setg(VAR_3, "failed to open file '%s': %s", VAR_1,

                   strerror(errno));

        return;

    }

    VAR_4 = fprintf(f, "P6\n%d %d\n%d\n", s->width, s->height, 255);

    if (VAR_4 < 0) {

        goto write_err;

    }

    d1 = s->vram;

    for(VAR_5 = 0; VAR_5 < s->height; VAR_5++) {

        d = d1;

        for(VAR_6 = 0; VAR_6 < s->width; VAR_6++) {

            v = *d;

            VAR_4 = fputc(s->r[v], f);

            if (VAR_4 == EOF) {

                goto write_err;

            }

            VAR_4 = fputc(s->g[v], f);

            if (VAR_4 == EOF) {

                goto write_err;

            }

            VAR_4 = fputc(s->b[v], f);

            if (VAR_4 == EOF) {

                goto write_err;

            }

            d++;

        }

        d1 += MAXX;

    }



out:

    fclose(f);

    return;



write_err:

    error_setg(VAR_3, "failed to write to file '%s': %s", VAR_1,

               strerror(errno));

    unlink(VAR_1);

    goto out;

}

static void FUNC_0(void *VAR_0, const char *VAR_1, bool VAR_2,
Error **VAR_3)
{ TCXState *s = VAR_0; FILE *f; uint8_t *d, *d1, v; int VAR_4, VAR_5, VAR_6; f = fopen(VAR_1, "wb"); if (!f) { error_setg(VAR_3, "failed to open file '%s': %s", VAR_1,
strerror(errno)); return; } VAR_4 = fprintf(f, "P6\n%d %d\n%d\n", s->width, s->height, 255); if (VAR_4 < 0) { goto write_err; } d1 = s->vram; for(VAR_5 = 0; VAR_5 < s->height; VAR_5++) { d = d1; for(VAR_6 = 0; VAR_6 < s->width; VAR_6++) { v = *d; VAR_4 = fputc(s->r[v], f); if (VAR_4 == EOF) { goto write_err; } VAR_4 = fputc(s->g[v], f); if (VAR_4 == EOF) { goto write_err; } VAR_4 = fputc(s->b[v], f); if (VAR_4 == EOF) { goto write_err; } d++; } d1 += MAXX; } out:
fclose(f); return; write_err:
error_setg(VAR_3, "failed to write to file '%s': %s", VAR_1,
strerror(errno)); unlink(VAR_1); goto out; }