{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                writeln!(out, "{block_idx} --> {}", bb.as_usize())?;
            TerminatorEdges::Double(bb1, bb2) => {