let
global_debug_level = ref 2