+let something_profiled = ref false
+
+let _ =
+ if !something_profiled then
+ at_exit
+ (fun _ -> prerr_endline
+ (Printf.sprintf "!! %-39s %6s %9s %9s %9s"
+ "function" "#calls" "total" "max" "average"))
+
+let profiling_printings = ref (fun _ -> true)