<sect1 id="ab-bin86">
<title>Bin86-&bin86-depversion;</title>
<?dbhtml filename="bin86.html" dir="appendixb"?>
&ab-bin86-dep;
</sect1>