let hash = Hashtbl.hash