{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"registered_tools"}]}
    registered_tools
    registered_tools.extend(predefined_tools.iter().cloned().map(Ident::with_dummy_span));
}