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