{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"self.choice_regions.extend(choice_regions);"}]}
        self.choice_regions.extend(choice_regions);
        let start_index = self.choice_regions.len();
        let end_index = self.choice_regions.len();