Constant cspice_sys::SPICE_DSK_MX2IDX

pub const SPICE_DSK_MX2IDX: u32 = 19;