static void video_decode_example(const char *outfilename, const char *filename)

{

    AVCodec *codec;

    AVCodecContext *c= NULL;

    int frame, got_picture, len;

    FILE *f;

    AVFrame *picture;

    uint8_t inbuf[INBUF_SIZE + FF_INPUT_BUFFER_PADDING_SIZE];

    char buf[1024];

    AVPacket avpkt;



    av_init_packet(&avpkt);



    /* set end of buffer to 0 (this ensures that no overreading happens for damaged mpeg streams) */

    memset(inbuf + INBUF_SIZE, 0, FF_INPUT_BUFFER_PADDING_SIZE);



    printf("Decode video file %s\n", filename);



    /* find the mpeg1 video decoder */

    codec = avcodec_find_decoder(AV_CODEC_ID_MPEG1VIDEO);

    if (!codec) {

        fprintf(stderr, "codec not found\n");

        exit(1);

    }



    c = avcodec_alloc_context3(codec);

    picture= avcodec_alloc_frame();



    if(codec->capabilities&CODEC_CAP_TRUNCATED)

        c->flags|= CODEC_FLAG_TRUNCATED; /* we do not send complete frames */



    /* For some codecs, such as msmpeg4 and mpeg4, width and height

       MUST be initialized there because this information is not

       available in the bitstream. */



    /* open it */

    if (avcodec_open2(c, codec, NULL) < 0) {

        fprintf(stderr, "could not open codec\n");

        exit(1);

    }



    /* the codec gives us the frame size, in samples */



    f = fopen(filename, "rb");

    if (!f) {

        fprintf(stderr, "could not open %s\n", filename);

        exit(1);

    }



    frame = 0;

    for(;;) {

        avpkt.size = fread(inbuf, 1, INBUF_SIZE, f);

        if (avpkt.size == 0)

            break;



        /* NOTE1: some codecs are stream based (mpegvideo, mpegaudio)

           and this is the only method to use them because you cannot

           know the compressed data size before analysing it.



           BUT some other codecs (msmpeg4, mpeg4) are inherently frame

           based, so you must call them with all the data for one

           frame exactly. You must also initialize 'width' and

           'height' before initializing them. */



        /* NOTE2: some codecs allow the raw parameters (frame size,

           sample rate) to be changed at any frame. We handle this, so

           you should also take care of it */



        /* here, we use a stream based decoder (mpeg1video), so we

           feed decoder and see if it could decode a frame */

        avpkt.data = inbuf;

        while (avpkt.size > 0) {

            len = avcodec_decode_video2(c, picture, &got_picture, &avpkt);

            if (len < 0) {

                fprintf(stderr, "Error while decoding frame %d\n", frame);

                exit(1);

            }

            if (got_picture) {

                printf("saving frame %3d\n", frame);

                fflush(stdout);



                /* the picture is allocated by the decoder. no need to

                   free it */

                snprintf(buf, sizeof(buf), outfilename, frame);

                pgm_save(picture->data[0], picture->linesize[0],

                         c->width, c->height, buf);

                frame++;

            }

            avpkt.size -= len;

            avpkt.data += len;

        }

    }



    /* some codecs, such as MPEG, transmit the I and P frame with a

       latency of one frame. You must do the following to have a

       chance to get the last frame of the video */

    avpkt.data = NULL;

    avpkt.size = 0;

    len = avcodec_decode_video2(c, picture, &got_picture, &avpkt);

    if (got_picture) {

        printf("saving last frame %3d\n", frame);

        fflush(stdout);



        /* the picture is allocated by the decoder. no need to

           free it */

        snprintf(buf, sizeof(buf), outfilename, frame);

        pgm_save(picture->data[0], picture->linesize[0],

                 c->width, c->height, buf);

        frame++;

    }



    fclose(f);



    avcodec_close(c);

    av_free(c);

    av_free(picture);

    printf("\n");

}

static void video_decode_example(const char *outfilename, const char *filename)

{

    AVCodec *codec;

    AVCodecContext *c= NULL;

    int frame, got_picture, len;

    FILE *f;

    AVFrame *picture;

    uint8_t inbuf[INBUF_SIZE + FF_INPUT_BUFFER_PADDING_SIZE];

    char buf[1024];

    AVPacket avpkt;



    av_init_packet(&avpkt);



    

    memset(inbuf + INBUF_SIZE, 0, FF_INPUT_BUFFER_PADDING_SIZE);



    printf("Decode video file %s\n", filename);



    

    codec = avcodec_find_decoder(AV_CODEC_ID_MPEG1VIDEO);

    if (!codec) {

        fprintf(stderr, "codec not found\n");

        exit(1);

    }



    c = avcodec_alloc_context3(codec);

    picture= avcodec_alloc_frame();



    if(codec->capabilities&CODEC_CAP_TRUNCATED)

        c->flags|= CODEC_FLAG_TRUNCATED; 



    







    

    if (avcodec_open2(c, codec, NULL) < 0) {

        fprintf(stderr, "could not open codec\n");

        exit(1);

    }



    



    f = fopen(filename, "rb");

    if (!f) {

        fprintf(stderr, "could not open %s\n", filename);

        exit(1);

    }



    frame = 0;

    for(;;) {

        avpkt.size = fread(inbuf, 1, INBUF_SIZE, f);

        if (avpkt.size == 0)

            break;



        

















        







        



        avpkt.data = inbuf;

        while (avpkt.size > 0) {

            len = avcodec_decode_video2(c, picture, &got_picture, &avpkt);

            if (len < 0) {

                fprintf(stderr, "Error while decoding frame %d\n", frame);

                exit(1);

            }

            if (got_picture) {

                printf("saving frame %3d\n", frame);

                fflush(stdout);



                



                snprintf(buf, sizeof(buf), outfilename, frame);

                pgm_save(picture->data[0], picture->linesize[0],

                         c->width, c->height, buf);

                frame++;

            }

            avpkt.size -= len;

            avpkt.data += len;

        }

    }



    





    avpkt.data = NULL;

    avpkt.size = 0;

    len = avcodec_decode_video2(c, picture, &got_picture, &avpkt);

    if (got_picture) {

        printf("saving last frame %3d\n", frame);

        fflush(stdout);



        



        snprintf(buf, sizeof(buf), outfilename, frame);

        pgm_save(picture->data[0], picture->linesize[0],

                 c->width, c->height, buf);

        frame++;

    }



    fclose(f);



    avcodec_close(c);

    av_free(c);

    av_free(picture);

    printf("\n");

}

    picture= avcodec_alloc_frame();     picture= avcodec_alloc_frame();
static void FUNC_0(const char *VAR_0, const char *VAR_1)

{

    AVCodec *codec;

    AVCodecContext *c= NULL;

    int VAR_2, VAR_3, VAR_4;

    FILE *f;

    AVFrame *picture;

    uint8_t inbuf[INBUF_SIZE + FF_INPUT_BUFFER_PADDING_SIZE];

    char VAR_5[1024];

    AVPacket avpkt;



    av_init_packet(&avpkt);



    

    memset(inbuf + INBUF_SIZE, 0, FF_INPUT_BUFFER_PADDING_SIZE);



    printf("Decode video file %s\n", VAR_1);



    

    codec = avcodec_find_decoder(AV_CODEC_ID_MPEG1VIDEO);

    if (!codec) {

        fprintf(stderr, "codec not found\n");

        exit(1);

    }



    c = avcodec_alloc_context3(codec);

    picture= avcodec_alloc_frame();



    if(codec->capabilities&CODEC_CAP_TRUNCATED)

        c->flags|= CODEC_FLAG_TRUNCATED; 



    







    

    if (avcodec_open2(c, codec, NULL) < 0) {

        fprintf(stderr, "could not open codec\n");

        exit(1);

    }



    



    f = fopen(VAR_1, "rb");

    if (!f) {

        fprintf(stderr, "could not open %s\n", VAR_1);

        exit(1);

    }



    VAR_2 = 0;

    for(;;) {

        avpkt.size = fread(inbuf, 1, INBUF_SIZE, f);

        if (avpkt.size == 0)

            break;



        

















        







        



        avpkt.data = inbuf;

        while (avpkt.size > 0) {

            VAR_4 = avcodec_decode_video2(c, picture, &VAR_3, &avpkt);

            if (VAR_4 < 0) {

                fprintf(stderr, "Error while decoding VAR_2 %d\n", VAR_2);

                exit(1);

            }

            if (VAR_3) {

                printf("saving VAR_2 %3d\n", VAR_2);

                fflush(stdout);



                



                snprintf(VAR_5, sizeof(VAR_5), VAR_0, VAR_2);

                pgm_save(picture->data[0], picture->linesize[0],

                         c->width, c->height, VAR_5);

                VAR_2++;

            }

            avpkt.size -= VAR_4;

            avpkt.data += VAR_4;

        }

    }



    





    avpkt.data = NULL;

    avpkt.size = 0;

    VAR_4 = avcodec_decode_video2(c, picture, &VAR_3, &avpkt);

    if (VAR_3) {

        printf("saving last VAR_2 %3d\n", VAR_2);

        fflush(stdout);



        



        snprintf(VAR_5, sizeof(VAR_5), VAR_0, VAR_2);

        pgm_save(picture->data[0], picture->linesize[0],

                 c->width, c->height, VAR_5);

        VAR_2++;

    }



    fclose(f);



    avcodec_close(c);

    av_free(c);

    av_free(picture);

    printf("\n");

}

static void FUNC_0(const char *VAR_0, const char *VAR_1)
{ AVCodec *codec; AVCodecContext *c= NULL; int VAR_2, VAR_3, VAR_4; FILE *f; AVFrame *picture; uint8_t inbuf[INBUF_SIZE + FF_INPUT_BUFFER_PADDING_SIZE]; char VAR_5[1024]; AVPacket avpkt; av_init_packet(&avpkt); memset(inbuf + INBUF_SIZE, 0, FF_INPUT_BUFFER_PADDING_SIZE); printf("Decode video file %s\n", VAR_1); codec = avcodec_find_decoder(AV_CODEC_ID_MPEG1VIDEO); if (!codec) { fprintf(stderr, "codec not found\n"); exit(1); } c = avcodec_alloc_context3(codec); picture= avcodec_alloc_frame(); if(codec->capabilities&CODEC_CAP_TRUNCATED)
c->flags|= CODEC_FLAG_TRUNCATED; if (avcodec_open2(c, codec, NULL) < 0) { fprintf(stderr, "could not open codec\n"); exit(1); } f = fopen(VAR_1, "rb"); if (!f) { fprintf(stderr, "could not open %s\n", VAR_1); exit(1); } VAR_2 = 0; for(;;) { avpkt.size = fread(inbuf, 1, INBUF_SIZE, f); if (avpkt.size == 0)
break; avpkt.data = inbuf; while (avpkt.size > 0) { VAR_4 = avcodec_decode_video2(c, picture, &VAR_3, &avpkt); if (VAR_4 < 0) { fprintf(stderr, "Error while decoding VAR_2 %d\n", VAR_2); exit(1); } if (VAR_3) { printf("saving VAR_2 %3d\n", VAR_2); fflush(stdout); snprintf(VAR_5, sizeof(VAR_5), VAR_0, VAR_2); pgm_save(picture->data[0], picture->linesize[0],
c->width, c->height, VAR_5); VAR_2++; } avpkt.size -= VAR_4; avpkt.data += VAR_4; } } avpkt.data = NULL; avpkt.size = 0; VAR_4 = avcodec_decode_video2(c, picture, &VAR_3, &avpkt); if (VAR_3) { printf("saving last VAR_2 %3d\n", VAR_2); fflush(stdout); snprintf(VAR_5, sizeof(VAR_5), VAR_0, VAR_2); pgm_save(picture->data[0], picture->linesize[0],
c->width, c->height, VAR_5); VAR_2++; } fclose(f); avcodec_close(c); av_free(c); av_free(picture); printf("\n"); }