let get_global_debug () =
  !global_debug