def head(file, lines=<NUM_LIT:10>):
return Tailer(file).head(lines)<EOL>
\
    Return the top lines of the file.

    >>> try:
    ...    from StringIO import StringIO
    ... except ImportError:
    ...    from io import StringIO
    >>> f = StringIO()
    >>> for i in range(11):
    ...     _ = f.write('Line %d\\n' % (i + 1))
    >>> head(f, 3)
    ['Line 1', 'Line 2', 'Line 3']