{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// The high-level version of this is `return_from_current_stack_frame`.
    /// [`M::before_stack_pop`]: Machine::before_stack_pop