let clear = Hashtbl.clear