let clear () =
    begin
      Hashtbl.clear gfresh ;
      Hashtbl.clear gindex ;
      for i=0 to 3 do gsection.(i) <- Dset.empty done ;
      List.iter (fun f -> f ()) !gclear ;
    end