{"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":"emit_mermaid_cfg(body,"}]}
    emit_mermaid_cfg(body, out)?;
    writeln!(out, "<pre class='mermaid'>")?;
    writeln!(out, "</pre>")?;