{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"symbols_stream.extend(quote!"}]}
        symbols_stream.extend(quote! {
        let name = &symbol.name;
            pub const #name: Symbol = Symbol::new(#idx);