pub const DBG_SEGFREE: u32 = 2u32;