make test-integration PYTEST_ARGS+="--update-expected-output"

Stevengre · Stevengre · commit dcab4e07590c · 2025-03-28T19:15:42.000+08:00
diff --git a/tests/interactive/sumTo10.evm.parse-expected b/tests/interactive/sumTo10.evm.parse-expected
@@ -1 +1 @@
-Lbl'UndsUndsUnds'ETHEREUM-SIMULATION'Unds'EthereumSimulation'Unds'EthereumCommand'Unds'EthereumSimulation{}(LblmkAcct'UndsUnds'STATE-UTILS'Unds'EthereumCommand'Unds'Int{}(\dv{SortInt{}}("7")),Lbl'UndsUndsUnds'ETHEREUM-SIMULATION'Unds'EthereumSimulation'Unds'EthereumCommand'Unds'EthereumSimulation{}(Lblload'UndsUnds'STATE-UTILS'Unds'EthereumCommand'Unds'JSON{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("account")),LblJSONObject{}(LblJSONs{}(LblJSONEntry{}(inj{SortInt{}, SortJSONKey{}}(\dv{SortInt{}}("7")),LblJSONObject{}(LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("balance")),inj{SortInt{}, SortJSON{}}(\dv{SortInt{}}("1000000000"))),LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("nonce")),inj{SortInt{}, SortJSON{}}(\dv{SortInt{}}("1"))),LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("code")),inj{SortBytes{}, SortJSON{}}(Lbl'Stop'Bytes'Unds'BYTES-HOOKED'Unds'Bytes{}())),LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("storage")),inj{SortMap{}, SortJSON{}}(Lbl'Stop'Map{}())),Lbl'Stop'List'LBraQuot'JSONs'QuotRBra'{}())))))),Lbl'Stop'List'LBraQuot'JSONs'QuotRBra'{}())))),Lbl'UndsUndsUnds'ETHEREUM-SIMULATION'Unds'EthereumSimulation'Unds'EthereumCommand'Unds'EthereumSimulation{}(Lblload'UndsUnds'STATE-UTILS'Unds'EthereumCommand'Unds'JSON{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("exec")),LblJSONObject{}(LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("address")),inj{SortInt{}, SortJSON{}}(\dv{SortInt{}}("7"))),LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("gas")),inj{SortInt{}, SortJSON{}}(\dv{SortInt{}}("100000"))),LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("code")),inj{SortOpCodes{}, SortJSON{}}(Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("0")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("0")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortBinStackOp{}, SortOpCode{}}(LblMSTORE'Unds'EVM'Unds'BinStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("10")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("32")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortBinStackOp{}, SortOpCode{}}(LblMSTORE'Unds'EVM'Unds'BinStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortNullStackOp{}, SortOpCode{}}(LblJUMPDEST'Unds'EVM'Unds'NullStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("32")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortUnStackOp{}, SortOpCode{}}(LblMLOAD'Unds'EVM'Unds'UnStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortUnStackOp{}, SortOpCode{}}(LblISZERO'Unds'EVM'Unds'UnStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("411")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortBinStackOp{}, SortOpCode{}}(LblJUMPI'Unds'EVM'Unds'BinStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("32")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortUnStackOp{}, SortOpCode{}}(LblMLOAD'Unds'EVM'Unds'UnStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortStackOp{}, SortOpCode{}}(LblDUP{}(\dv{SortInt{}}("1"))),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("0")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortUnStackOp{}, SortOpCode{}}(LblMLOAD'Unds'EVM'Unds'UnStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortBinStackOp{}, SortOpCode{}}(LblADD'Unds'EVM'Unds'BinStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("0")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortBinStackOp{}, SortOpCode{}}(LblMSTORE'Unds'EVM'Unds'BinStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("1")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortStackOp{}, SortOpCode{}}(LblSWAP{}(\dv{SortInt{}}("1"))),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortBinStackOp{}, SortOpCode{}}(LblSUB'Unds'EVM'Unds'BinStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("32")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortBinStackOp{}, SortOpCode{}}(LblMSTORE'Unds'EVM'Unds'BinStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("134")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortUnStackOp{}, SortOpCode{}}(LblJUMP'Unds'EVM'Unds'UnStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortNullStackOp{}, SortOpCode{}}(LblJUMPDEST'Unds'EVM'Unds'NullStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("0")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortUnStackOp{}, SortOpCode{}}(LblMLOAD'Unds'EVM'Unds'UnStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("0")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortBinStackOp{}, SortOpCode{}}(LblSSTORE'Unds'EVM'Unds'BinStackOp{}()),Lbl'Stop'OpCodes'Unds'EVM-ASSEMBLY'Unds'OpCodes{}())))))))))))))))))))))))))))))))))),Lbl'Stop'List'LBraQuot'JSONs'QuotRBra'{}())))))),Lbl'UndsUndsUnds'ETHEREUM-SIMULATION'Unds'EthereumSimulation'Unds'EthereumCommand'Unds'EthereumSimulation{}(Lblstart'Unds'ETHEREUM-SIMULATION'Unds'EthereumCommand{}(),Lbl'UndsUndsUnds'ETHEREUM-SIMULATION'Unds'EthereumSimulation'Unds'EthereumCommand'Unds'EthereumSimulation{}(Lblcheck'UndsUnds'ETHEREUM-SIMULATION'Unds'EthereumCommand'Unds'JSON{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("account")),LblJSONObject{}(LblJSONs{}(LblJSONEntry{}(inj{SortInt{}, SortJSONKey{}}(\dv{SortInt{}}("7")),LblJSONObject{}(LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("storage")),LblJSONObject{}(LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("0x00")),inj{SortString{}, SortJSON{}}(\dv{SortString{}}("0x37"))),Lbl'Stop'List'LBraQuot'JSONs'QuotRBra'{}()))),Lbl'Stop'List'LBraQuot'JSONs'QuotRBra'{}()))),Lbl'Stop'List'LBraQuot'JSONs'QuotRBra'{}())))),Lbl'UndsUndsUnds'ETHEREUM-SIMULATION'Unds'EthereumSimulation'Unds'EthereumCommand'Unds'EthereumSimulation{}(Lblfailure'UndsUnds'ETHEREUM-SIMULATION'Unds'EthereumCommand'Unds'String{}(\dv{SortString{}}("Interactive sumTo10 test")),Lbl'UndsUndsUnds'ETHEREUM-SIMULATION'Unds'EthereumSimulation'Unds'EthereumCommand'Unds'EthereumSimulation{}(Lblsuccess'Unds'ETHEREUM-SIMULATION'Unds'EthereumCommand{}(),Lbl'UndsUndsUnds'ETHEREUM-SIMULATION'Unds'EthereumSimulation'Unds'EthereumCommand'Unds'EthereumSimulation{}(Lblclear'Unds'STATE-UTILS'Unds'EthereumCommand{}(),Lbl'Stop'EthereumSimulation'Unds'ETHEREUM-SIMULATION'Unds'EthereumSimulation{}()))))))))
+Lbl'UndsUndsUnds'ETHEREUM-SIMULATION-PURE'Unds'EthereumSimulation'Unds'EthereumCommand'Unds'EthereumSimulation{}(LblmkAcct'UndsUnds'STATE-UTILS'Unds'EthereumCommand'Unds'Int{}(\dv{SortInt{}}("7")),Lbl'UndsUndsUnds'ETHEREUM-SIMULATION-PURE'Unds'EthereumSimulation'Unds'EthereumCommand'Unds'EthereumSimulation{}(Lblload'UndsUnds'STATE-UTILS'Unds'EthereumCommand'Unds'JSON{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("account")),LblJSONObject{}(LblJSONs{}(LblJSONEntry{}(inj{SortInt{}, SortJSONKey{}}(\dv{SortInt{}}("7")),LblJSONObject{}(LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("balance")),inj{SortInt{}, SortJSON{}}(\dv{SortInt{}}("1000000000"))),LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("nonce")),inj{SortInt{}, SortJSON{}}(\dv{SortInt{}}("1"))),LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("code")),inj{SortBytes{}, SortJSON{}}(Lbl'Stop'Bytes'Unds'BYTES-HOOKED'Unds'Bytes{}())),LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("storage")),inj{SortMap{}, SortJSON{}}(Lbl'Stop'Map{}())),Lbl'Stop'List'LBraQuot'JSONs'QuotRBra'{}())))))),Lbl'Stop'List'LBraQuot'JSONs'QuotRBra'{}())))),Lbl'UndsUndsUnds'ETHEREUM-SIMULATION-PURE'Unds'EthereumSimulation'Unds'EthereumCommand'Unds'EthereumSimulation{}(Lblload'UndsUnds'STATE-UTILS'Unds'EthereumCommand'Unds'JSON{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("exec")),LblJSONObject{}(LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("address")),inj{SortInt{}, SortJSON{}}(\dv{SortInt{}}("7"))),LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("gas")),inj{SortInt{}, SortJSON{}}(\dv{SortInt{}}("100000"))),LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("code")),inj{SortOpCodes{}, SortJSON{}}(Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("0")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("0")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortBinStackOp{}, SortOpCode{}}(LblMSTORE'Unds'EVM'Unds'BinStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("10")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("32")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortBinStackOp{}, SortOpCode{}}(LblMSTORE'Unds'EVM'Unds'BinStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortNullStackOp{}, SortOpCode{}}(LblJUMPDEST'Unds'EVM'Unds'NullStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("32")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortUnStackOp{}, SortOpCode{}}(LblMLOAD'Unds'EVM'Unds'UnStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortUnStackOp{}, SortOpCode{}}(LblISZERO'Unds'EVM'Unds'UnStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("411")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortBinStackOp{}, SortOpCode{}}(LblJUMPI'Unds'EVM'Unds'BinStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("32")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortUnStackOp{}, SortOpCode{}}(LblMLOAD'Unds'EVM'Unds'UnStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortStackOp{}, SortOpCode{}}(LblDUP{}(\dv{SortInt{}}("1"))),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("0")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortUnStackOp{}, SortOpCode{}}(LblMLOAD'Unds'EVM'Unds'UnStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortBinStackOp{}, SortOpCode{}}(LblADD'Unds'EVM'Unds'BinStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("0")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortBinStackOp{}, SortOpCode{}}(LblMSTORE'Unds'EVM'Unds'BinStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("1")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortStackOp{}, SortOpCode{}}(LblSWAP{}(\dv{SortInt{}}("1"))),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortBinStackOp{}, SortOpCode{}}(LblSUB'Unds'EVM'Unds'BinStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("32")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortBinStackOp{}, SortOpCode{}}(LblMSTORE'Unds'EVM'Unds'BinStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("134")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortUnStackOp{}, SortOpCode{}}(LblJUMP'Unds'EVM'Unds'UnStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortNullStackOp{}, SortOpCode{}}(LblJUMPDEST'Unds'EVM'Unds'NullStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("0")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortUnStackOp{}, SortOpCode{}}(LblMLOAD'Unds'EVM'Unds'UnStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("0")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortBinStackOp{}, SortOpCode{}}(LblSSTORE'Unds'EVM'Unds'BinStackOp{}()),Lbl'Stop'OpCodes'Unds'EVM-ASSEMBLY'Unds'OpCodes{}())))))))))))))))))))))))))))))))))),Lbl'Stop'List'LBraQuot'JSONs'QuotRBra'{}())))))),Lbl'UndsUndsUnds'ETHEREUM-SIMULATION-PURE'Unds'EthereumSimulation'Unds'EthereumCommand'Unds'EthereumSimulation{}(Lblstart'Unds'ETHEREUM-SIMULATION-PURE'Unds'EthereumCommand{}(),Lbl'UndsUndsUnds'ETHEREUM-SIMULATION-PURE'Unds'EthereumSimulation'Unds'EthereumCommand'Unds'EthereumSimulation{}(Lblcheck'UndsUnds'ETHEREUM-SIMULATION-PURE'Unds'EthereumCommand'Unds'JSON{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("account")),LblJSONObject{}(LblJSONs{}(LblJSONEntry{}(inj{SortInt{}, SortJSONKey{}}(\dv{SortInt{}}("7")),LblJSONObject{}(LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("storage")),LblJSONObject{}(LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("0x00")),inj{SortString{}, SortJSON{}}(\dv{SortString{}}("0x37"))),Lbl'Stop'List'LBraQuot'JSONs'QuotRBra'{}()))),Lbl'Stop'List'LBraQuot'JSONs'QuotRBra'{}()))),Lbl'Stop'List'LBraQuot'JSONs'QuotRBra'{}())))),Lbl'UndsUndsUnds'ETHEREUM-SIMULATION-PURE'Unds'EthereumSimulation'Unds'EthereumCommand'Unds'EthereumSimulation{}(Lblfailure'UndsUnds'ETHEREUM-SIMULATION-PURE'Unds'EthereumCommand'Unds'String{}(\dv{SortString{}}("Interactive sumTo10 test")),Lbl'UndsUndsUnds'ETHEREUM-SIMULATION-PURE'Unds'EthereumSimulation'Unds'EthereumCommand'Unds'EthereumSimulation{}(Lblsuccess'Unds'ETHEREUM-SIMULATION-PURE'Unds'EthereumCommand{}(),Lbl'UndsUndsUnds'ETHEREUM-SIMULATION-PURE'Unds'EthereumSimulation'Unds'EthereumCommand'Unds'EthereumSimulation{}(Lblclear'Unds'STATE-UTILS'Unds'EthereumCommand{}(),Lbl'Stop'EthereumSimulation'Unds'ETHEREUM-SIMULATION-PURE'Unds'EthereumSimulation{}()))))))))

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		-Lbl'UndsUndsUnds'ETHEREUM-SIMULATION'Unds'EthereumSimulation'Unds'EthereumCommand'Unds'EthereumSimulation{}(LblmkAcct'UndsUnds'STATE-UTILS'Unds'EthereumCommand'Unds'Int{}(\dv{SortInt{}}("7")),Lbl'UndsUndsUnds'ETHEREUM-SIMULATION'Unds'EthereumSimulation'Unds'EthereumCommand'Unds'EthereumSimulation{}(Lblload'UndsUnds'STATE-UTILS'Unds'EthereumCommand'Unds'JSON{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("account")),LblJSONObject{}(LblJSONs{}(LblJSONEntry{}(inj{SortInt{}, SortJSONKey{}}(\dv{SortInt{}}("7")),LblJSONObject{}(LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("balance")),inj{SortInt{}, SortJSON{}}(\dv{SortInt{}}("1000000000"))),LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("nonce")),inj{SortInt{}, SortJSON{}}(\dv{SortInt{}}("1"))),LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("code")),inj{SortBytes{}, SortJSON{}}(Lbl'Stop'Bytes'Unds'BYTES-HOOKED'Unds'Bytes{}())),LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("storage")),inj{SortMap{}, SortJSON{}}(Lbl'Stop'Map{}())),Lbl'Stop'List'LBraQuot'JSONs'QuotRBra'{}())))))),Lbl'Stop'List'LBraQuot'JSONs'QuotRBra'{}())))),Lbl'UndsUndsUnds'ETHEREUM-SIMULATION'Unds'EthereumSimulation'Unds'EthereumCommand'Unds'EthereumSimulation{}(Lblload'UndsUnds'STATE-UTILS'Unds'EthereumCommand'Unds'JSON{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("exec")),LblJSONObject{}(LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("address")),inj{SortInt{}, SortJSON{}}(\dv{SortInt{}}("7"))),LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("gas")),inj{SortInt{}, SortJSON{}}(\dv{SortInt{}}("100000"))),LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("code")),inj{SortOpCodes{}, SortJSON{}}(Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("0")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("0")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortBinStackOp{}, SortOpCode{}}(LblMSTORE'Unds'EVM'Unds'BinStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("10")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("32")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortBinStackOp{}, SortOpCode{}}(LblMSTORE'Unds'EVM'Unds'BinStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortNullStackOp{}, SortOpCode{}}(LblJUMPDEST'Unds'EVM'Unds'NullStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("32")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortUnStackOp{}, SortOpCode{}}(LblMLOAD'Unds'EVM'Unds'UnStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortUnStackOp{}, SortOpCode{}}(LblISZERO'Unds'EVM'Unds'UnStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("411")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortBinStackOp{}, SortOpCode{}}(LblJUMPI'Unds'EVM'Unds'BinStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("32")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortUnStackOp{}, SortOpCode{}}(LblMLOAD'Unds'EVM'Unds'UnStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortStackOp{}, SortOpCode{}}(LblDUP{}(\dv{SortInt{}}("1"))),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("0")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortUnStackOp{}, SortOpCode{}}(LblMLOAD'Unds'EVM'Unds'UnStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortBinStackOp{}, SortOpCode{}}(LblADD'Unds'EVM'Unds'BinStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("0")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortBinStackOp{}, SortOpCode{}}(LblMSTORE'Unds'EVM'Unds'BinStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("1")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortStackOp{}, SortOpCode{}}(LblSWAP{}(\dv{SortInt{}}("1"))),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortBinStackOp{}, SortOpCode{}}(LblSUB'Unds'EVM'Unds'BinStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("32")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortBinStackOp{}, SortOpCode{}}(LblMSTORE'Unds'EVM'Unds'BinStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("134")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortUnStackOp{}, SortOpCode{}}(LblJUMP'Unds'EVM'Unds'UnStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortNullStackOp{}, SortOpCode{}}(LblJUMPDEST'Unds'EVM'Unds'NullStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("0")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortUnStackOp{}, SortOpCode{}}(LblMLOAD'Unds'EVM'Unds'UnStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("0")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortBinStackOp{}, SortOpCode{}}(LblSSTORE'Unds'EVM'Unds'BinStackOp{}()),Lbl'Stop'OpCodes'Unds'EVM-ASSEMBLY'Unds'OpCodes{}())))))))))))))))))))))))))))))))))),Lbl'Stop'List'LBraQuot'JSONs'QuotRBra'{}())))))),Lbl'UndsUndsUnds'ETHEREUM-SIMULATION'Unds'EthereumSimulation'Unds'EthereumCommand'Unds'EthereumSimulation{}(Lblstart'Unds'ETHEREUM-SIMULATION'Unds'EthereumCommand{}(),Lbl'UndsUndsUnds'ETHEREUM-SIMULATION'Unds'EthereumSimulation'Unds'EthereumCommand'Unds'EthereumSimulation{}(Lblcheck'UndsUnds'ETHEREUM-SIMULATION'Unds'EthereumCommand'Unds'JSON{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("account")),LblJSONObject{}(LblJSONs{}(LblJSONEntry{}(inj{SortInt{}, SortJSONKey{}}(\dv{SortInt{}}("7")),LblJSONObject{}(LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("storage")),LblJSONObject{}(LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("0x00")),inj{SortString{}, SortJSON{}}(\dv{SortString{}}("0x37"))),Lbl'Stop'List'LBraQuot'JSONs'QuotRBra'{}()))),Lbl'Stop'List'LBraQuot'JSONs'QuotRBra'{}()))),Lbl'Stop'List'LBraQuot'JSONs'QuotRBra'{}())))),Lbl'UndsUndsUnds'ETHEREUM-SIMULATION'Unds'EthereumSimulation'Unds'EthereumCommand'Unds'EthereumSimulation{}(Lblfailure'UndsUnds'ETHEREUM-SIMULATION'Unds'EthereumCommand'Unds'String{}(\dv{SortString{}}("Interactive sumTo10 test")),Lbl'UndsUndsUnds'ETHEREUM-SIMULATION'Unds'EthereumSimulation'Unds'EthereumCommand'Unds'EthereumSimulation{}(Lblsuccess'Unds'ETHEREUM-SIMULATION'Unds'EthereumCommand{}(),Lbl'UndsUndsUnds'ETHEREUM-SIMULATION'Unds'EthereumSimulation'Unds'EthereumCommand'Unds'EthereumSimulation{}(Lblclear'Unds'STATE-UTILS'Unds'EthereumCommand{}(),Lbl'Stop'EthereumSimulation'Unds'ETHEREUM-SIMULATION'Unds'EthereumSimulation{}()))))))))
	`1`	+Lbl'UndsUndsUnds'ETHEREUM-SIMULATION-PURE'Unds'EthereumSimulation'Unds'EthereumCommand'Unds'EthereumSimulation{}(LblmkAcct'UndsUnds'STATE-UTILS'Unds'EthereumCommand'Unds'Int{}(\dv{SortInt{}}("7")),Lbl'UndsUndsUnds'ETHEREUM-SIMULATION-PURE'Unds'EthereumSimulation'Unds'EthereumCommand'Unds'EthereumSimulation{}(Lblload'UndsUnds'STATE-UTILS'Unds'EthereumCommand'Unds'JSON{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("account")),LblJSONObject{}(LblJSONs{}(LblJSONEntry{}(inj{SortInt{}, SortJSONKey{}}(\dv{SortInt{}}("7")),LblJSONObject{}(LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("balance")),inj{SortInt{}, SortJSON{}}(\dv{SortInt{}}("1000000000"))),LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("nonce")),inj{SortInt{}, SortJSON{}}(\dv{SortInt{}}("1"))),LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("code")),inj{SortBytes{}, SortJSON{}}(Lbl'Stop'Bytes'Unds'BYTES-HOOKED'Unds'Bytes{}())),LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("storage")),inj{SortMap{}, SortJSON{}}(Lbl'Stop'Map{}())),Lbl'Stop'List'LBraQuot'JSONs'QuotRBra'{}())))))),Lbl'Stop'List'LBraQuot'JSONs'QuotRBra'{}())))),Lbl'UndsUndsUnds'ETHEREUM-SIMULATION-PURE'Unds'EthereumSimulation'Unds'EthereumCommand'Unds'EthereumSimulation{}(Lblload'UndsUnds'STATE-UTILS'Unds'EthereumCommand'Unds'JSON{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("exec")),LblJSONObject{}(LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("address")),inj{SortInt{}, SortJSON{}}(\dv{SortInt{}}("7"))),LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("gas")),inj{SortInt{}, SortJSON{}}(\dv{SortInt{}}("100000"))),LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("code")),inj{SortOpCodes{}, SortJSON{}}(Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("0")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("0")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortBinStackOp{}, SortOpCode{}}(LblMSTORE'Unds'EVM'Unds'BinStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("10")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("32")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortBinStackOp{}, SortOpCode{}}(LblMSTORE'Unds'EVM'Unds'BinStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortNullStackOp{}, SortOpCode{}}(LblJUMPDEST'Unds'EVM'Unds'NullStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("32")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortUnStackOp{}, SortOpCode{}}(LblMLOAD'Unds'EVM'Unds'UnStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortUnStackOp{}, SortOpCode{}}(LblISZERO'Unds'EVM'Unds'UnStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("411")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortBinStackOp{}, SortOpCode{}}(LblJUMPI'Unds'EVM'Unds'BinStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("32")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortUnStackOp{}, SortOpCode{}}(LblMLOAD'Unds'EVM'Unds'UnStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortStackOp{}, SortOpCode{}}(LblDUP{}(\dv{SortInt{}}("1"))),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("0")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortUnStackOp{}, SortOpCode{}}(LblMLOAD'Unds'EVM'Unds'UnStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortBinStackOp{}, SortOpCode{}}(LblADD'Unds'EVM'Unds'BinStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("0")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortBinStackOp{}, SortOpCode{}}(LblMSTORE'Unds'EVM'Unds'BinStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("1")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortStackOp{}, SortOpCode{}}(LblSWAP{}(\dv{SortInt{}}("1"))),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortBinStackOp{}, SortOpCode{}}(LblSUB'Unds'EVM'Unds'BinStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("32")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortBinStackOp{}, SortOpCode{}}(LblMSTORE'Unds'EVM'Unds'BinStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("134")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortUnStackOp{}, SortOpCode{}}(LblJUMP'Unds'EVM'Unds'UnStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortNullStackOp{}, SortOpCode{}}(LblJUMPDEST'Unds'EVM'Unds'NullStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("0")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortUnStackOp{}, SortOpCode{}}(LblMLOAD'Unds'EVM'Unds'UnStackOp{}()),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(LblPUSHAsm{}(\dv{SortInt{}}("32"),\dv{SortInt{}}("0")),Lbl'UndsSClnUndsUnds'EVM-ASSEMBLY'Unds'OpCodes'Unds'OpCode'Unds'OpCodes{}(inj{SortBinStackOp{}, SortOpCode{}}(LblSSTORE'Unds'EVM'Unds'BinStackOp{}()),Lbl'Stop'OpCodes'Unds'EVM-ASSEMBLY'Unds'OpCodes{}())))))))))))))))))))))))))))))))))),Lbl'Stop'List'LBraQuot'JSONs'QuotRBra'{}())))))),Lbl'UndsUndsUnds'ETHEREUM-SIMULATION-PURE'Unds'EthereumSimulation'Unds'EthereumCommand'Unds'EthereumSimulation{}(Lblstart'Unds'ETHEREUM-SIMULATION-PURE'Unds'EthereumCommand{}(),Lbl'UndsUndsUnds'ETHEREUM-SIMULATION-PURE'Unds'EthereumSimulation'Unds'EthereumCommand'Unds'EthereumSimulation{}(Lblcheck'UndsUnds'ETHEREUM-SIMULATION-PURE'Unds'EthereumCommand'Unds'JSON{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("account")),LblJSONObject{}(LblJSONs{}(LblJSONEntry{}(inj{SortInt{}, SortJSONKey{}}(\dv{SortInt{}}("7")),LblJSONObject{}(LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("storage")),LblJSONObject{}(LblJSONs{}(LblJSONEntry{}(inj{SortString{}, SortJSONKey{}}(\dv{SortString{}}("0x00")),inj{SortString{}, SortJSON{}}(\dv{SortString{}}("0x37"))),Lbl'Stop'List'LBraQuot'JSONs'QuotRBra'{}()))),Lbl'Stop'List'LBraQuot'JSONs'QuotRBra'{}()))),Lbl'Stop'List'LBraQuot'JSONs'QuotRBra'{}())))),Lbl'UndsUndsUnds'ETHEREUM-SIMULATION-PURE'Unds'EthereumSimulation'Unds'EthereumCommand'Unds'EthereumSimulation{}(Lblfailure'UndsUnds'ETHEREUM-SIMULATION-PURE'Unds'EthereumCommand'Unds'String{}(\dv{SortString{}}("Interactive sumTo10 test")),Lbl'UndsUndsUnds'ETHEREUM-SIMULATION-PURE'Unds'EthereumSimulation'Unds'EthereumCommand'Unds'EthereumSimulation{}(Lblsuccess'Unds'ETHEREUM-SIMULATION-PURE'Unds'EthereumCommand{}(),Lbl'UndsUndsUnds'ETHEREUM-SIMULATION-PURE'Unds'EthereumSimulation'Unds'EthereumCommand'Unds'EthereumSimulation{}(Lblclear'Unds'STATE-UTILS'Unds'EthereumCommand{}(),Lbl'Stop'EthereumSimulation'Unds'ETHEREUM-SIMULATION-PURE'Unds'EthereumSimulation{}()))))))))