let number_entry_points fold fs = fold (fun fvinfo n acc -> if is_entry_point fvinfo n then succ acc else acc) fs 0