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)