pub const DEBUG_OUTPUT_SYMBOLS: u32 = 512u32;