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