pub const FF_PROFILE_MPEG4_CORE_SCALABLE: c_int = 10;