Constant IFCDISTRIBUTIONCIRCUIT 

pub const IFCDISTRIBUTIONCIRCUIT: u32 = 562808652;