@FILES
  {@EMPTY "util-lib-part"; "Utility Library Manual";
    @SECTION "The Utility Library" {
       @FILE "array-qsort-fn"
       @FILE "array-qsort"
       @FILE "array-sort"
       @FILE "binary-map-fn"
       @FILE "binary-set-fn"
       @FILE "bit-array"
       @FILE "bit-vector"
       @FILE "bsearch"
       @FILE "char-map"
       @FILE "dynamic-array"
       @FILE "fifo"
       @FILE "iterate"
       @FILE "lib-base"
       @FILE "list-format"
       @FILE "list-map-fn"
       @FILE "list-set-fn"
       @FILE "list-xprod"
       @FILE "listsort"
       @FILE "mono-array-sort"
       @FILE "mono-dynamic-array"
       @FILE "ord-key"
       @FILE "ord-map"
       @FILE "ord-set"
       @FILE "queue"
       @FILE "rand"
       @FILE "random"
       @FILE "splay-map-fn"
       @FILE "splay-set-fn"
       @FILE "splaytree"
    }
  }
