let copy t =
    {
      heap = Heap.copy t.heap;
      tbl = Hashtbl.copy t.tbl;
    }