let main () =
  if ForceUsers.get () then
    begin
      result "====== DISPLAYING USERS ======@\n%t====== END OF USERS =========="
        (fun fmt ->
           !Db.Semantic_Callgraph.topologically_iter_on_functions
             (fun kf ->
                try
                  Format.fprintf fmt "@[%a: @[%a@]@]@\n"
                    Kernel_function.pretty_name kf
                    Kernel_function.Hptset.pretty (!Db.Users.get kf)
                with Not_found ->
                  () (* [kf] is not called during analysis *))
        ) ;
    end