let inc_global_debug2 () =
  try
    Counter.inc global_debug2
  with
    | Counter.OVERFLOW ->
        print_endline ("Counter overflow: statistic: global debug2");
        Counter.set global_debug2 0