Constant cspice_sys::SPICE_DSK02_KWVXPL

pub const SPICE_DSK02_KWVXPL: u32 = 11;