pub const DEBUG_OUTPUT_SYMBOLS_NO_TYPES: u32 = 16u32;