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