pub const FF_PROFILE_MPEG4_CORE_SCALABLE: u32 = 10;