<SYSTEM_TASK:>
Solve the following problem using Python, implementing the functions described below, one line at a time
<END_TASK>
<USER_TASK:>
Description:
 def kinfo(file, typlen=_default_len_out, srclen=_default_len_out):
 """ Return information about a loaded kernel specified by name. http://naif.jpl.nasa.gov/pub/naif/toolkit_docs/C/cspice/kinfo_c.html :param file: Name of a kernel to fetch information for :type file: str :param typlen: Available space in output kernel type string. :type typlen: int :param srclen: Available space in output source string. :type srclen: int :return: The type of the kernel, Name of the source file used to load file, The handle attached to file. :rtype: tuple """

    typlen = ctypes.c_int(typlen)
    srclen = ctypes.c_int(srclen)
    file = stypes.stringToCharP(file)
    filtyp = stypes.stringToCharP(" " * typlen.value)
    source = stypes.stringToCharP(" " * srclen.value)
    handle = ctypes.c_int()
    found = ctypes.c_int()
    libspice.kinfo_c(file, typlen, srclen, filtyp, source, ctypes.byref(handle),
                     ctypes.byref(found))
    return stypes.toPythonString(filtyp), stypes.toPythonString(
            source), handle.value, bool(found.value)