Constant IFED_POS_SYMBOLS 

pub const IFED_POS_SYMBOLS: u32 = 8192u32;