let
label_id = ref (-1)