Constant FF_PROFILE_AV1_HIGH 

pub const FF_PROFILE_AV1_HIGH: c_int = 1;