{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"crates_total:"}]}
            crates_total: crate_def_maps_total,
            crates_done: crate_def_maps_done,
            work_type: "Indexing",