{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"bar.println(format!(\"{:<20}"}]}
        bar.println(format!("{:<20} {}", "Term search:", term_search_time));
        ));
        report_metric("term search time", term_search_time.time.as_millis() as u64, "ms");