Constant cspice_sys::SPICE_DSK_MN3IDX

pub const SPICE_DSK_MN3IDX: u32 = 20;