code: def dskobj(dsk):
      
      dsk = stypes.stringToCharP(dsk)
      bodids = stypes.SPICEINT_CELL(10000)
      libspice.dskobj_c(dsk, ctypes.byref(bodids))
      return bodids
docs: Find the set of body ID codes of all objects for which 
      topographic data are provided in a specified DSK file. 
      
      https://naif.jpl.nasa.gov/pub/naif/toolkit_docs/C/cspice/dskobj_c.html
      
      :param dsk: Name of DSK file. 
      :type dsk: str
      :return: Set of ID codes of objects in DSK file.
      :rtype: spiceypy.utils.support_types.SpiceCell