1 \defcounter {refsection}{0}\relax
2 \contentsline {todo}{sequential?}{1}
3 \defcounter {refsection}{0}\relax
4 \contentsline {todo}{what does he mean by internal?}{1}
5 \defcounter {refsection}{0}\relax
6 \contentsline {todo}{original?}{1}
7 \defcounter {refsection}{0}\relax
8 \contentsline {todo}{better?: functionality}{2}
9 \defcounter {refsection}{0}\relax
10 \contentsline {todo}{Proof?}{2}
11 \defcounter {refsection}{0}\relax
12 \contentsline {todo}{But is the result better?}{8}
13 \defcounter {refsection}{0}\relax
14 \contentsline {todo}{What about the language specific part?}{9}
15 \defcounter {refsection}{0}\relax
16 \contentsline {todo}{refine}{10}
17 \defcounter {refsection}{0}\relax
18 \contentsline {todo}{Write about how prefixes and unfixes are chosen. And how the safe ones are computed}{15}
19 \defcounter {refsection}{0}\relax
20 \contentsline {todo}{Where to put this section?}{15}