{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"mir_body,"}]}
                mir_body,
            inject_statement(
                CoverageKind::TestVectorBitmapUpdate {