let main () =
if Metrics_parameters.is_on () then begin
!Db.Metrics.compute ();
if Metrics_parameters.Print.get () then
Metrics_parameters.result "Syntactic metrics@\n %t" !Db.Metrics.pretty;
if Metrics_parameters.Dump.get () <> "" then
!Db.Metrics.dump ()
end