From 5a7fc135b93d7f3e83dddf0075139dcdf9204189 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Thu, 10 Aug 2023 16:07:37 +0000
Subject: [PATCH 1/2] deps/wasm-semantics: Set Version
 bf9b81b83ca6d519c2432f62e44106a64179de3c

---
 deps/wasm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 99e48491..bf9b81b8 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 99e48491ff68715c260b14b96778977be216a390
+Subproject commit bf9b81b83ca6d519c2432f62e44106a64179de3c

From ef1e21e7211e170b323194ef20886f88b64a20b4 Mon Sep 17 00:00:00 2001
From: Burak Bilge Yalcinkaya <bbyalcinkaya@gmail.com>
Date: Thu, 10 Aug 2023 22:06:10 +0300
Subject: [PATCH 2/2] elrond-loaded

---
 src/elrond-runtime.loaded.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/elrond-runtime.loaded.json b/src/elrond-runtime.loaded.json
index 61541e50..06aefcbc 100644
--- a/src/elrond-runtime.loaded.json
+++ b/src/elrond-runtime.loaded.json
@@ -1 +1 @@
-{"format":"KAST","version":2,"term":{"node":"KApply","label":{"node":"KLabel","name":"<generatedTop>","params":[]},"arity":2,"args":[{"node":"KApply","label":{"node":"KLabel","name":"<mandos>","params":[]},"arity":5,"args":[{"node":"KApply","label":{"node":"KLabel","name":"<k>","params":[]},"arity":1,"args":[{"node":"KSequence","arity":0,"items":[]}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<newAddresses>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".Map","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<checkedAccounts>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".Set","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<elrond>","params":[]},"arity":2,"args":[{"node":"KApply","label":{"node":"KLabel","name":"<node>","params":[]},"arity":8,"args":[{"node":"KApply","label":{"node":"KLabel","name":"<commands>","params":[]},"arity":1,"args":[{"node":"KSequence","arity":0,"items":[]}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<callState>","params":[]},"arity":9,"args":[{"node":"KApply","label":{"node":"KLabel","name":"<callee>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Bytes"},"token":"b\"\"","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<vmInput>","params":[]},"arity":6,"args":[{"node":"KApply","label":{"node":"KLabel","name":"<caller>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Bytes"},"token":"b\"\"","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<callArgs>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".ListBytes","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<callValue>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Int"},"token":"0","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<esdtTransfers>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".List","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<gasProvided>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Int"},"token":"0","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<gasPrice>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Int"},"token":"0","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<wasm>","params":[]},"arity":9,"args":[{"node":"KApply","label":{"node":"KLabel","name":"<instrs>","params":[]},"arity":1,"args":[{"node":"KSequence","arity":0,"items":[]}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<valstack>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".ValStack_WASM-DATA-COMMON_ValStack","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<curFrame>","params":[]},"arity":2,"args":[{"node":"KApply","label":{"node":"KLabel","name":"<locals>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".Map","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<curModIdx>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".Int_WASM-DATA-COMMON_OptionalInt","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<moduleRegistry>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".Map","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<moduleIds>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".Map","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<moduleInstances>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".ModuleInstCellMap","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<nextModuleIdx>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Int"},"token":"0","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<mainStore>","params":[]},"arity":8,"args":[{"node":"KApply","label":{"node":"KLabel","name":"<funcs>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".FuncDefCellMap","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<nextFuncAddr>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Int"},"token":"0","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<tabs>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".TabInstCellMap","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<nextTabAddr>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Int"},"token":"0","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<mems>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".MemInstCellMap","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<nextMemAddr>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Int"},"token":"0","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<globals>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".GlobalInstCellMap","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<nextGlobAddr>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Int"},"token":"0","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<deterministicMemoryGrowth>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Bool"},"token":"true","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<bigIntHeap>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".Map","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<bufferHeap>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".MapIntToBytes","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<bytesStack>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".List{\"_:__ELROND-NODE_BytesStack_Bytes_BytesStack\"}_BytesStack","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<contractModIdx>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".Int_WASM-DATA-COMMON_OptionalInt","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<out>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".ListBytes","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<logs>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".List","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<callStack>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".List","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<interimStates>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".List","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<vmOutput>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".VMOutput_ELROND-NODE_VMOutput","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<accounts>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".AccountCellMap","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<previousBlockInfo>","params":[]},"arity":5,"args":[{"node":"KApply","label":{"node":"KLabel","name":"<prevBlockTimestamp>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Int"},"token":"0","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<prevBlockNonce>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Int"},"token":"0","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<prevBlockRound>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Int"},"token":"0","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<prevBlockEpoch>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Int"},"token":"0","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<prevBlockRandomSeed>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Bytes"},"token":"b\"\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\"","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<currentBlockInfo>","params":[]},"arity":5,"args":[{"node":"KApply","label":{"node":"KLabel","name":"<curBlockTimestamp>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Int"},"token":"0","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<curBlockNonce>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Int"},"token":"0","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<curBlockRound>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Int"},"token":"0","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<curBlockEpoch>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Int"},"token":"0","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<curBlockRandomSeed>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Bytes"},"token":"b\"\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\"","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<logging>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"String"},"token":"\"\"","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<exit-code>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Int"},"token":"0","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<generatedCounter>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Int"},"token":"0","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}}}
\ No newline at end of file
+{"format":"KAST","version":2,"term":{"node":"KApply","label":{"node":"KLabel","name":"<generatedTop>","params":[]},"arity":2,"args":[{"node":"KApply","label":{"node":"KLabel","name":"<mandos>","params":[]},"arity":5,"args":[{"node":"KApply","label":{"node":"KLabel","name":"<k>","params":[]},"arity":1,"args":[{"node":"KSequence","arity":0,"items":[]}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<newAddresses>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".Map","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<checkedAccounts>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".Set","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<elrond>","params":[]},"arity":2,"args":[{"node":"KApply","label":{"node":"KLabel","name":"<node>","params":[]},"arity":8,"args":[{"node":"KApply","label":{"node":"KLabel","name":"<commands>","params":[]},"arity":1,"args":[{"node":"KSequence","arity":0,"items":[]}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<callState>","params":[]},"arity":9,"args":[{"node":"KApply","label":{"node":"KLabel","name":"<callee>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Bytes"},"token":"b\"\"","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<vmInput>","params":[]},"arity":6,"args":[{"node":"KApply","label":{"node":"KLabel","name":"<caller>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Bytes"},"token":"b\"\"","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<callArgs>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".ListBytes","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<callValue>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Int"},"token":"0","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<esdtTransfers>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".List","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<gasProvided>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Int"},"token":"0","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<gasPrice>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Int"},"token":"0","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<wasm>","params":[]},"arity":9,"args":[{"node":"KApply","label":{"node":"KLabel","name":"<instrs>","params":[]},"arity":1,"args":[{"node":"KSequence","arity":0,"items":[]}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<valstack>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".ValStack","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<curFrame>","params":[]},"arity":2,"args":[{"node":"KApply","label":{"node":"KLabel","name":"<locals>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".Map","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<curModIdx>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".Int","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<moduleRegistry>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".Map","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<moduleIds>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".Map","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<moduleInstances>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".ModuleInstCellMap","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<nextModuleIdx>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Int"},"token":"0","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<mainStore>","params":[]},"arity":8,"args":[{"node":"KApply","label":{"node":"KLabel","name":"<funcs>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".FuncDefCellMap","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<nextFuncAddr>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Int"},"token":"0","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<tabs>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".TabInstCellMap","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<nextTabAddr>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Int"},"token":"0","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<mems>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".MemInstCellMap","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<nextMemAddr>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Int"},"token":"0","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<globals>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".GlobalInstCellMap","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<nextGlobAddr>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Int"},"token":"0","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<deterministicMemoryGrowth>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Bool"},"token":"true","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<bigIntHeap>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".Map","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<bufferHeap>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".MapIntToBytes","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<bytesStack>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".List{\"_:__ELROND-NODE_BytesStack_Bytes_BytesStack\"}_BytesStack","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<contractModIdx>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".Int","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<out>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".ListBytes","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<logs>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".List","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<callStack>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".List","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<interimStates>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".List","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<vmOutput>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".VMOutput_ELROND-NODE_VMOutput","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<accounts>","params":[]},"arity":1,"args":[{"node":"KApply","label":{"node":"KLabel","name":".AccountCellMap","params":[]},"arity":0,"args":[],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<previousBlockInfo>","params":[]},"arity":5,"args":[{"node":"KApply","label":{"node":"KLabel","name":"<prevBlockTimestamp>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Int"},"token":"0","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<prevBlockNonce>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Int"},"token":"0","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<prevBlockRound>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Int"},"token":"0","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<prevBlockEpoch>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Int"},"token":"0","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<prevBlockRandomSeed>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Bytes"},"token":"b\"\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\"","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<currentBlockInfo>","params":[]},"arity":5,"args":[{"node":"KApply","label":{"node":"KLabel","name":"<curBlockTimestamp>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Int"},"token":"0","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<curBlockNonce>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Int"},"token":"0","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<curBlockRound>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Int"},"token":"0","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<curBlockEpoch>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Int"},"token":"0","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<curBlockRandomSeed>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Bytes"},"token":"b\"\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\"","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<logging>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"String"},"token":"\"\"","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<exit-code>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Int"},"token":"0","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}},{"node":"KApply","label":{"node":"KLabel","name":"<generatedCounter>","params":[]},"arity":1,"args":[{"node":"KToken","sort":{"node":"KSort","name":"Int"},"token":"0","att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}}],"att":{"node":"KAtt","att":{}}}}
\ No newline at end of file