Constant cspice_sys::SPICE_GF_MAXVRT

pub const SPICE_GF_MAXVRT: u32 = 10000;