let
inc_global_debug () =
global_debug := (
Int64
.succ !global_debug)