{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"self.patch.patch_terminator(bb,"}]}
                self.patch.patch_terminator(bb, TerminatorKind::Goto { target });
            {
                continue;