Constant cspice_sys::SPICE_DSK_MX1IDX

pub const SPICE_DSK_MX1IDX: u32 = 17;