Constant cspice_sys::SPICE_DSK_MX3IDX

pub const SPICE_DSK_MX3IDX: u32 = 21;