Type Definition spice_sys::SpiceInt

type SpiceInt = c_int;