pub const DEBUG_OUTPUT_SYMBOLS_NO_VALUES: u32 = 4u32;