{"ast_node_type":"other","tokens":[{"end":100,"kind":"keyword","start":0,"text":"//"}]}
        // A MIR location looks like `bb5[2]`. As that is not a syntactically valid mermaid node id,
    let location_name = |location: Location| {
        // transform it into `BB5_2`.