{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"cx.coverageinfo_finalize();"}]}
                cx.coverageinfo_finalize();
            if cx.sess().instrument_coverage() {
            }