Hashtbl.Make(HS)