static void
destroy_fm_entry_ps (void *pa, void *pb)
{
  fm_entry *fm;

  fm = (fm_entry *) pa;
}
static void
destroy_ff_entry (void *pa, void *pb)
{
  ff_entry *ff;

  delete_ff_entry (ff);
} void
fm_free (void)
{
  if (tfm_tree != NULL)
    avl_destroy (tfm_tree, destroy_fm_entry_tfm);
}