{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"InterpErrorKind::ResourceExhaustion(_)"}]}
                InterpErrorKind::ResourceExhaustion(_) | InterpErrorKind::InvalidProgram(_)
                error,
            );