{"ast_node_type":"other","tokens":[{"end":21,"kind":"keyword","start":0,"text":"counter"}]}
        counter += 1;
    while names_in_scope.contains(&name) {
        name = format!("{default_name}{counter}")