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