Constant FF_PROFILE_H264_HIGH 

pub const FF_PROFILE_H264_HIGH: c_int = 100;