printf("profile: %d, level: %d \n", profile, level);
av_log(s->avctx, AV_LOG_DEBUG, "profile: %d, level: %d \n", profile, level);
static void mpeg_decode_sequence_extension(MpegEncContext *s){    int horiz_size_ext, vert_size_ext;    int bit_rate_ext, vbv_buf_ext;    int frame_rate_ext_n, frame_rate_ext_d;    int level, profile;    skip_bits(&s->gb, 1); /* profil and level esc*/    profile= get_bits(&s->gb, 3);    level= get_bits(&s->gb, 4);    s->progressive_sequence = get_bits1(&s->gb); /* progressive_sequence */    skip_bits(&s->gb, 2); /* chroma_format */    horiz_size_ext = get_bits(&s->gb, 2);    vert_size_ext = get_bits(&s->gb, 2);    s->width |= (horiz_size_ext << 12);    s->height |= (vert_size_ext << 12);    bit_rate_ext = get_bits(&s->gb, 12);  /* XXX: handle it */    s->bit_rate = ((s->bit_rate / 400) | (bit_rate_ext << 12)) * 400;    skip_bits1(&s->gb); /* marker */    vbv_buf_ext = get_bits(&s->gb, 8);    s->low_delay = get_bits1(&s->gb);    if(s->flags & CODEC_FLAG_LOW_DELAY) s->low_delay=1;    frame_rate_ext_n = get_bits(&s->gb, 2);    frame_rate_ext_d = get_bits(&s->gb, 5);    av_reduce(        &s->avctx->frame_rate,         &s->avctx->frame_rate_base,         frame_rate_tab[s->frame_rate_index] * (frame_rate_ext_n+1),        MPEG1_FRAME_RATE_BASE * (frame_rate_ext_d+1),        1<<30);    dprintf("sequence extension\n");    s->codec_id= s->avctx->codec_id= CODEC_ID_MPEG2VIDEO;    s->avctx->sub_id = 2; /* indicates mpeg2 found */    if(s->aspect_ratio_info <= 1)        s->avctx->sample_aspect_ratio= mpeg2_aspect[s->aspect_ratio_info];    else{        s->avctx->sample_aspect_ratio=             av_div_q(                mpeg2_aspect[s->aspect_ratio_info],                 (AVRational){s->width, s->height}            );    }        if(s->avctx->debug & FF_DEBUG_PICT_INFO)        printf("profile: %d, level: %d \n", profile, level);}