Constant IE4_UPDREFCNT 

pub const IE4_UPDREFCNT: u32 = 512u32;