let print (statistic: statistic) : unit =
  print_endline ("Statistics:");
    List.iter
      (fun (id, label) ->
(*         if id <> ID_DEBUG then*)
           Print.print_statistic label (get statistic id)
      )
      attributes;
    Print.print_statistic_64 "Global Debug" (!global_debug);
    Print.print_statistic "Global Debug2" (Counter.value global_debug2)