pub const MAX_DEBUG_LOGGED_MESSAGES: u32 = 0x9144;