{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"//"}]}
                // that we're unwinding
                // By definition, a Resume terminator means
                self.return_from_current_stack_frame(/* unwinding */ true)?;