{"ast_node_type":"other","tokens":[{"end":92,"kind":"keyword","start":0,"text":"report_metric(\"mir"}]}
        report_metric("mir lowering time", mir_lowering_time.time.as_millis() as u64, "ms");
        report_metric("mir failed bodies", fail, "#");
    }