pub const DEBUG_OUTCTL_NOT_LOGGED: u32 = 8u32;