<sect1 id="aa-bin86">
<title>Bin86</title>
<?dbhtml filename="bin86.html" dir="appendixa"?>
&aa-bin86-desc;
</sect1>