Constant IFCEXTERNALLYDEFINEDSYMBOL 

pub const IFCEXTERNALLYDEFINEDSYMBOL: u32 = 3207319532;