pub const SPICE_DSK_MN2IDX: u32 = 18;