{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"(100"}]}
            (100 * fuzzed) as f64 / total as f64,
            "fuzzed {fuzzed} cases({}%), at rate {iter_per_sec} iter/s, remaining ~{}s",
            (remaining as f64) / iter_per_sec