pub const IE4_USEREFCNT: u32 = 1024u32;