let pretty_entry_points fmt fs =
  let print =
    VarinfoHashtbl.iter
      (fun f n ->
         if n = 0 && not f.vaddrof then Format.fprintf fmt "%s;@ " f.vname)
  in
  Format.fprintf fmt "@[";
  print fs;
  Format.fprintf fmt "@]"