let
guard_counter = ref 0