{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"//"}]}
        // The node label: the regions contained in the SCC.
    for (scc, regions) in nodes_per_scc.iter_enumerated() {
        write!(out, "{scc}[\"SCC({scc}) = {{", scc = scc.as_usize())?;