let
label_counter = ref 0