{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"crate_def_maps_done"}]}
                crate_def_maps_done += 1;
                crates_currently_indexing.swap_remove(&crate_id);