<SYSTEM_TASK:>
Solve the following problem using Python, implementing the functions described below, one line at a time
<END_TASK>
<USER_TASK:>
Description:
 def bodc2n(code, lenout=_default_len_out):
 """ Translate the SPICE integer code of a body into a common name for that body. http://naif.jpl.nasa.gov/pub/naif/toolkit_docs/C/cspice/bodc2n_c.html :param code: Integer ID code to be translated into a name. :type code: int :param lenout: Maximum length of output name. :type lenout: int :return: A common name for the body identified by code. :rtype: str """

    code = ctypes.c_int(code)
    name = stypes.stringToCharP(" " * lenout)
    lenout = ctypes.c_int(lenout)
    found = ctypes.c_int()
    libspice.bodc2n_c(code, lenout, name, ctypes.byref(found))
    return stypes.toPythonString(name), bool(found.value)