Constant VK_NV_device_diagnostic_checkpoints 

pub const VK_NV_device_diagnostic_checkpoints: u32 = 1;