pub const DEBUG_OUTPUT_SYMBOLS_NO_NAMES: u32 = 1u32;