let hash v = Hashtbl.hash v.lt_name