<SYSTEM_TASK:>
Solve the following problem using Python, implementing the functions described below, one line at a time
<END_TASK>
<USER_TASK:>
Description:
 def dafac(handle, buffer):
 """ Add comments from a buffer of character strings to the comment area of a binary DAF file, appending them to any comments which are already present in the file's comment area. http://naif.jpl.nasa.gov/pub/naif/toolkit_docs/C/cspice/dafac_c.html :param handle: handle of a DAF opened with write access. :type handle: int :param buffer: Buffer of comments to put into the comment area. :type buffer: list[str] """

    handle  = ctypes.c_int(handle)
    lenvals = ctypes.c_int(len(max(buffer, key=len)) + 1)
    n       = ctypes.c_int(len(buffer))
    buffer  = stypes.listToCharArrayPtr(buffer)
    libspice.dafac_c(handle, n, lenvals, buffer)