Constant FF_PROFILE_MPEG2_HIGH

pub const FF_PROFILE_MPEG2_HIGH: u32 = 1; // 1u32