code: def dashfn(handle, lenout=_default_len_out):
      
      handle = ctypes.c_int(handle)
      namlen = ctypes.c_int(lenout)
      fname  = stypes.stringToCharP(lenout)
      libspice.dashfn_c(handle, namlen, fname)
      return stypes.toPythonString(fname)
docs: Return the name of the DAS file associated with a handle.
      
      https://naif.jpl.nasa.gov/pub/naif/toolkit_docs/C/cspice/dashfn_c.html
  
      :param handle: Handle of a DAS file.
      :type handle: int
      :param lenout: Length of output file name string.
      :type lenout: int
      :return: Corresponding file name.
      :rtype: str