Constant FF_EC_FAVOR_INTER 

pub const FF_EC_FAVOR_INTER: c_int = 256;