Constant cspice_sys::SPICE_DSK02_IXIFIX

pub const SPICE_DSK02_IXIFIX: u32 = 100007;