pub const FF_PROFILE_MPEG4_CORE: c_int = 2;