let
get_global_debug2 () =
Counter
.value global_debug2