{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"visited_modules.len(),"}]}
            visited_modules.len(),
            ", mods: {}, decls: {num_decls}, bodies: {}, adts: {}, consts: {}",
            bodies.len(),