Constant IE4_REGSECTION 

pub const IE4_REGSECTION: u32 = 128u32;