Constant DEBUG_FORMAT_USER_SMALL_CODE_SEGMENTS 

pub const DEBUG_FORMAT_USER_SMALL_CODE_SEGMENTS: u32 = 4096u32;