Constant FF_EC_FAVOR_INTER

pub const FF_EC_FAVOR_INTER: c_int = 256;