{"ast_node_type":"other","tokens":[{"end":12,"kind":"keyword","start":0,"text":"}"}]}
    } else {
        write!(output, "{label}${disambiguator}").unwrap();
        write!(output, "{{{label}#{disambiguator}}}").unwrap();