{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"format_to!(result,"}]}
            format_to!(result, "----------------------\n");
            result.push('\n');
            format_to!(result, "  Finished in {}s\n", duration.as_secs_f32());