pub const IE4_EXTRAINCREFCNT: u32 = 2048u32;