Constant FF_PROFILE_MPEG4_CORE_SCALABLE 

pub const FF_PROFILE_MPEG4_CORE_SCALABLE: c_int = 10;