Constant DEBUG_SERVERS_DEBUGGER

pub const DEBUG_SERVERS_DEBUGGER: u32 = 1u32;