code: def bodc2s(code, lenout=_default_len_out):
      
      code = ctypes.c_int(code)
      name = stypes.stringToCharP(" " * lenout)
      lenout = ctypes.c_int(lenout)
      libspice.bodc2s_c(code, lenout, name)
      return stypes.toPythonString(name)
docs: Translate a body ID code to either the corresponding name or if no
      name to ID code mapping exists, the string representation of the
      body ID value.
  
      http://naif.jpl.nasa.gov/pub/naif/toolkit_docs/C/cspice/bodc2s_c.html
  
      :param code: Integer ID code to translate to a string.
      :type code: int
      :param lenout: Maximum length of output name.
      :type lenout: int
      :return: String corresponding to 'code'.
      :rtype: str