Constant cspice_sys::SPICE_DSK02_KWVXOR

pub const SPICE_DSK02_KWVXOR: u32 = 17;