Constant FF_PROFILE_MPEG4_CORE 

pub const FF_PROFILE_MPEG4_CORE: c_int = 2;