{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":")?;"}]}
    )?;
        "<script src='https://cdn.jsdelivr.net/npm/mermaid/dist/mermaid.min.js'></script>"
    writeln!(out, "<script>")?;