pub const DEBUG_LOGGED_MESSAGES: u32 = 0x9145;