{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"for"}]}
                for to_idx in targets.all_targets() {
            TerminatorEdges::SwitchInt { targets, .. } => {
                    writeln!(out, "{block_idx} --> {}", to_idx.as_usize())?;