let pretty_entry_points fmt fs = let print = Varinfo.Hashtbl.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 "@]"