pub const DEBUG_OUTPUT_SYNCHRONOUS: u32 = 0x8242;