{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":");"}]}
        );
            usize_with_underscores(total_count),
        _ = writeln!(s, "{prefix} {}", "=".repeat(banner_w));