Constant cspice_sys::SPICE_DSK02_KWVXLS

pub const SPICE_DSK02_KWVXLS: u32 = 7;