{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"eprintln!(\"Mir"}]}
        eprintln!("Mir failed bodies: {fail} ({}%)", percentage(fail, all));
        eprintln!("{:<20} {}", "MIR lowering:", mir_lowering_time);
        report_metric("mir failed bodies", fail, "#");