Constant DEBUG_OUTPUT_SYMBOLS_DEFAULT

pub const DEBUG_OUTPUT_SYMBOLS_DEFAULT: u32 = 0u32;