#include <libavcodec/avcodec.h>
#include <stdio.h>
int main()
{
printf("pub const FIRST_AUDIO: u64 = %d;\n\
pub const FIRST_SUBTITLE: u64 = %d;\n\
pub const FIRST_UNKNOWN: u64 = %d;\n", AV_CODEC_ID_FIRST_AUDIO, AV_CODEC_ID_FIRST_SUBTITLE, AV_CODEC_ID_FIRST_UNKNOWN);
return 0;
}