{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":".field(\"n_done\","}]}
                .field("n_done", n_done)
                .field("n_total", n_total)
                .field("dir", dir)