spice_sys
pub unsafe extern "C" fn dskobj_c(dsk: *const c_char, bodids: *mut SpiceCellC)
returns the set of body ID codes of all objects for which data are provided in a DSK file.