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 "@]"