public static extern int av_find_best_stream(AVFormatContext* ic, AVMediaType type, int wanted_stream_nb, int related_stream, AVCodec** decoder_ret, int flags);
public static extern void av_format_set_subtitle_codec(AVFormatContext* s, AVCodec* c);
public static extern AVStream* avformat_new_stream(AVFormatContext* s, AVCodec* c);
public static extern int av_codec_is_decoder(AVCodec* codec);
public static extern void av_format_set_audio_codec(AVFormatContext* s, AVCodec* c);
public static extern int avcodec_open2(AVCodecContext* avctx, AVCodec* codec, AVDictionary** options);
public static extern String av_get_profile_name(AVCodec* codec, int profile);
public static extern AVCodecContext* avcodec_alloc_context3(AVCodec* codec);
public static extern int avcodec_get_context_defaults3(AVCodecContext* s, AVCodec* codec);
public static extern AVCodec* av_codec_next(AVCodec* c);
public static extern void avcodec_register(AVCodec* codec);
public static extern int av_codec_get_max_lowres(AVCodec* codec);
public static extern int av_find_best_stream(AVFormatContext* @ic, AVMediaType @type, int @wanted_stream_nb, int @related_stream, AVCodec** @decoder_ret, int @flags);
public static extern void av_format_set_data_codec(AVFormatContext* @s, AVCodec* @c);
public static extern int av_codec_is_encoder(AVCodec* @codec);
public static extern string av_get_profile_name(AVCodec* @codec, int @profile);