Constant IE4_USEREFCNT 

pub const IE4_USEREFCNT: u32 = 1024u32;