diff --git a/src/elrond-runtime.loaded.json b/src/elrond-runtime.loaded.json
index 61541e50..d7550000 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_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{\"bytesStackList\"}_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","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