{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"if"}]}
            if !visited.insert(t) {
            // that something unusual is going on
                output.push_str(if cpp_like_debuginfo {