pub const DEBUG_NEXT_LOGGED_MESSAGE_LENGTH_KHR: c_uint = 0x8243;