def _load_tex(fname):
    """Load output of `tla2tex.TeX` from `fname`."""
    begin = '\\begin{tlatex}\n'
    end = '\\end{tlatex}\n'
    with open(fname, 'r') as f:
        lines = f.readlines()
    x = lines.index(begin)
    y = lines.index(end)
    # is last line whitespace ?
    if lines[y - 1].startswith('\\@pvspace{'):
        lines = lines[x:y - 1]
    else:
        print('Second to last line: {s}'.format(s=lines[y - 1]))
        lines = lines[x:y]
    return lines