{"ast_node_type":"function","tokens":[{"end":50,"kind":"keyword","start":0,"text":"pub"}]}
    pub fn generate_new_name(idx: usize) -> Name {
    /// that is stable across re-executions
        Name::new_text(&format!("<ra@gennew>{idx}"))