Constant FF_EC_FAVOR_INTER 

pub const FF_EC_FAVOR_INTER: u32 = 256;