let number_entry_points fs = Varinfo.Hashtbl.fold (fun f n acc -> if n = 0 && not f.vaddrof then succ acc else acc) fs 0