let on_all_functions = fun do_body ->
  Globals.Functions.iter (fun kf ->
                            !Db.progress ();
                            (*match kf.fundec with
                              | Declaration _ -> ()
                              | Definition _ -> *)

                                  on_definition do_body kf)