code: def ckcov(ck, idcode, needav, level, tol, timsys, cover=None):
      
      ck = stypes.stringToCharP(ck)
      idcode = ctypes.c_int(idcode)
      needav = ctypes.c_int(needav)
      level = stypes.stringToCharP(level)
      tol = ctypes.c_double(tol)
      timsys = stypes.stringToCharP(timsys)
      if not cover:
          cover = stypes.SPICEDOUBLE_CELL(20000)
      assert isinstance(cover, stypes.SpiceCell)
      assert cover.dtype == 1
      libspice.ckcov_c(ck, idcode, needav, level, tol, timsys,
                       ctypes.byref(cover))
      return cover
docs: Find the coverage window for a specified object in a specified CK file.
  
      http://naif.jpl.nasa.gov/pub/naif/toolkit_docs/C/cspice/ckcov_c.html
  
      :param ck: Name of CK file.
      :type ck: str
      :param idcode: ID code of object.
      :type idcode: int
      :param needav: Flag indicating whether angular velocity is needed.
      :type needav: bool
      :param level: Coverage level: (SEGMENT OR INTERVAL)
      :type level: str
      :param tol: Tolerance in ticks.
      :type tol: float
      :param timsys: Time system used to represent coverage.
      :type timsys: str
      :param cover: Window giving coverage for idcode.
      :type cover: Optional SpiceCell
      :return: coverage window for a specified object in a specified CK file
      :rtype: spiceypy.utils.support_types.SpiceCell