Constant AV_PROFILE_MPEG2_HIGH 

pub const AV_PROFILE_MPEG2_HIGH: c_int = 1;