let clear_pts pts = Hashtbl.clear pts