{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"///"}]}
    /// Stop execution for a machine-controlled reason. This is never raised by
    ResourceExhaustion(ResourceExhaustionInfo),
    /// the core engine itself.