pub const DEBUG_OUTPUT_KHR: c_uint = 0x92E0;