{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"label,"}]}
                label,
            push_disambiguated_special_name(
                disambiguated_data.disambiguator,