let clear () = begin Hashtbl.clear gfresh ; Hashtbl.clear gindex ; Array.fill gsection 0 (Array.length gsection) Dset.empty ; List.iter (fun f -> f ()) !gclear ; end