app use [
    "lib-base-sig.sml",		"lib-base.sml",
    "fifo-sig.sml",		"fifo.sml",
    "queue-sig.sml",		"queue.sml",
    "ord-key-sig.sml",
    "ord-map-sig.sml",
    "ord-set-sig.sml",
    "list-map-fn.sml",
    "list-set-fn.sml",
    "binary-map-fn.sml",
    "binary-set-fn.sml",
(*    "splay-map-fn.sml", *)
(*    "splay-set-fn.sml", *)
    "int-list-map.sml",
    "int-list-set.sml",
    "int-binary-map.sml",
    "int-binary-set.sml"
  ];
