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