pub type VkDeviceDiagnosticsConfigFlagBitsNV = c_uint;