def readlines(sizehint=None):
    """Read until EOF using readline() and return a list containing the
        lines thus read. See Python documentation for :class:`io.IOBase` for details.
        """
