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