pub type DisplayKHR = u64;