Constant VK_EXT_device_fault 

pub const VK_EXT_device_fault: u32 = 1;