{"ast_node_type":"other","tokens":[{"end":6,"kind":"keyword","start":0,"text":"};"}]}
    };
        format!("BB{}_{}", location.block.index(), location.statement_index)
    let region_name = |region: RegionVid| format!("'{}", region.index());