pub const IE4_UPDREFCNT: u32 = 512u32;