Constant FF_PROFILE_MPEG4_MAIN 

pub const FF_PROFILE_MPEG4_MAIN: c_int = 3;