/ul>
</li>
<li><b>Hand-written parsers fail</b>
</li>
</ul>

</section>
<section id="sec-6-2" >

<h3>Existing Tools cannot represent real formats</h3>
<table><tr><td width="70%">
<ul class="org-ul">
<li>ZIP
<ul class="org-ul">
<li>References by offset and size
</li>
<li>Duplicated information
</li>
<li>Checksums
</li>
<li>Variable-length End-Of-File header
</li>
</ul>
</li>
</ul>

</td><td>
<img src="./Zipfile.002.png" alt="Zipfile.002.png" />
</td></tr></table>
</section>

</section>
<section>
<section id=