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