pub const DBG_SEGLOAD: u32 = 0u32;