/a>
      <li><a href="#decryptor"><code>decryptor</code></a>
      <li><a href="#def-beh"><code>def-beh</code></a>
      <li><a href="#def-ser-beh"><code>def-ser-beh</code></a>
      <li><a href="#deflex"><code>deflex</code></a>
      <li><a href="#defun*"><code>defun*</code></a>
      <li><a href="#disk-decoder"><code>disk-decoder</code></a>
      <li><a href="#disk-encoder"><code>disk-encoder</code></a>
      <li><a href="#do-queue"><code>do-queue</code></a>
      <li><a href="#emptyq?"><code>emptyq?</co