{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"body.local_decls.extend(self.new_locals);"}]}
        body.local_decls.extend(self.new_locals);
        bbs.extend(self.new_blocks);
        for (src, patch) in self.term_patch_map.into_iter_enumerated() {