docs: def spkcov(spk, idcode, cover=None):
      """
      Find the coverage window for a specified ephemeris object in a
      specified SPK file.
  
      http://naif.jpl.nasa.gov/pub/naif/toolkit_docs/C/cspice/spkcov_c.html
  
      :param spk: Name of SPK file.
      :type spk: str
      :param idcode: ID code of ephemeris object.
      :type idcode: int
      :param cover: Optional SPICE Window giving coverage in "spk" for "idcode".
      :type cover: spiceypy.utils.support_types.SpiceCell
      """
      spk = stypes.stringToCharP(spk)
      idcode = ctypes.c_int(idcode)
      if cover is None:
          cover = stypes.SPICEDOUBLE_CELL(2000)
      else:
          assert isinstance(cover, stypes.SpiceCell)
          assert cover.is_double()
      libspice.spkcov_c(spk, idcode, ctypes.byref(cover))
      return cover