Constant cspice_sys::SPICE_DSK02_MAXVXP

pub const SPICE_DSK02_MAXVXP: u32 = 16000000;