{"ast_node_type":"other","tokens":[{"end":15,"kind":"keyword","start":0,"text":"fr,"}]}
            fr,
            "give_region_a_name(fr={:?}, counter={:?})",
            self.next_region_name.try_borrow().unwrap()