{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"M::unwind_terminate(self,"}]}
                M::unwind_terminate(self, reason)?;
                self.frame_mut().loc = Right(self.frame_mut().body.span);
                // This might have pushed a new stack frame, or it terminated execution.