pub const SPICE_DSK_SVFCLS: u32 = 1;