pub const SPICE_DSK02_KWNVXT: u32 = 3;