let iter_pts = Hashtbl.iter