let pretty_set iter fmt s =
Format.fprintf fmt "@[";
iter
(fun f n ->
Format.fprintf fmt "%s %s(%d call%s);@ "
f.Cil_types.vname
(if f.vaddrof then "(address taken) " else "")
n (if n > 1 then "s" else ""))
s;
Format.fprintf fmt "@]"