{"ast_node_type":"other","tokens":[{"end":9,"kind":"keyword","start":0,"text":"}"}]}
        }
            report_metric("total instructions", instructions, "#instr");
        report_metric("total memory", total_span.memory.allocated.megabytes() as u64, "MB");