let main _fmt = 
  let forceout = Inout_parameters.ForceOut.get () in
  let forceexternalout = Inout_parameters.ForceExternalOut.get () in
  if forceout || forceexternalout
  then begin
    !Db.Semantic_Callgraph.topologically_iter_on_functions
      (fun kf ->
         if Kernel_function.is_definition kf 
         then begin
           if forceout
           then Inout_parameters.result "%a" !Db.Outputs.display kf ;
           if forceexternalout
           then Inout_parameters.result "%a" !Db.Outputs.display_external kf ;
         end)
  end