const char *avcodec_get_pix_fmt_name(enum PixelFormat pix_fmt)

{

    if (pix_fmt < 0 || pix_fmt >= PIX_FMT_NB)

        return NULL;

    else

        return av_pix_fmt_descriptors[pix_fmt].name;

}

const char *avcodec_get_pix_fmt_name(enum PixelFormat pix_fmt)

{

    if (pix_fmt < 0 || pix_fmt >= PIX_FMT_NB)

        return NULL;

    else

        return av_pix_fmt_descriptors[pix_fmt].name;

}

const char *FUNC_0(enum PixelFormat VAR_0)

{

    if (VAR_0 < 0 || VAR_0 >= PIX_FMT_NB)

        return NULL;

    else

        return av_pix_fmt_descriptors[VAR_0].name;

}

const char *FUNC_0(enum PixelFormat VAR_0)
{ if (VAR_0 < 0 || VAR_0 >= PIX_FMT_NB)
return NULL; else
return av_pix_fmt_descriptors[VAR_0].name; }