Constant IE4_EXTRAINCREFCNT 

pub const IE4_EXTRAINCREFCNT: u32 = 2048u32;