let label_counter = ref 0