{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"next_region_name:"}]}
            next_region_name: RefCell::new(1),
            region_names: RefCell::default(),
            polonius_output: None,