Constant FF_PROFILE_MPEG4_BASIC_ANIMATED_TEXTURE 

pub const FF_PROFILE_MPEG4_BASIC_ANIMATED_TEXTURE: c_int = 7;