let clear t =
    Doubly_linked.clear t.queue;
    Table.clear t.table;