pub const DEBUG_OUTPUT_SYNCHRONOUS_KHR: c_uint = 0x8242;