Constant cspice_sys::SPICE_DSK02_KWVTPT

pub const SPICE_DSK02_KWVTPT: u32 = 12;