pub const DEBUG_SERVERS_DEBUGGER: u32 = 1u32;