Merge pull request #746 from CJentzsch/jumpdest

more dynamic jump tests

3 files changed, 1383 insertions, 2 deletions

diff --git a/stSystemOperationsTestFiller.json b/stSystemOperationsTestFiller.json
index 12f10fde..253ba0a8 100644
--- a/stSystemOperationsTestFiller.json
+++ b/stSystemOperationsTestFiller.json
@@ -529,12 +529,53 @@
             "095e7baea6a6c7c4c2dfeb977efac326af552d87" : {
                 "balance" : "1000000000000000000",
                 "nonce" : 0,
-                "code" : "{ (MSTORE 0 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) (MSTORE 32 0xaaffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffaa ) [[ 0 ]] (CALL 1000 0x945304eb96065b2a98b57a48a06ae28d285a71b5 23 0 64 0 2) }",
+                "code" : "{ [[ 0 ]] (CALL 1000 0x945304eb96065b2a98b57a48a06ae28d285a71b5 23 0 0 31 1) [[ 1 ]] @0 }",
                 "storage": {}
             },
             "945304eb96065b2a98b57a48a06ae28d285a71b5" : {
                 "balance" : "23",
-                "code" : "0x6001600155603760005360026000f3",
+                "code" : "0x6001600155602a601f536001601ff3",
+                "nonce" : "0",
+                "storage" : {
+                }
+            },
+            "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+                "balance" : "1000000000000000000",
+                "nonce" : 0,
+                "code" : "",
+                "storage": {}
+            }
+        },
+        "transaction" : {
+            "nonce" : "0",
+            "gasPrice" : "1",
+            "gasLimit" : "10000",
+            "to" : "095e7baea6a6c7c4c2dfeb977efac326af552d87",
+            "value" : "100000",
+            "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+            "data" : ""
+        }
+    },
+
+    "CallToReturn1ForDynamicJump0": {
+        "env" : {
+            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+            "currentNumber" : "0",
+            "currentGasLimit" : "10000000",
+            "currentDifficulty" : "256",
+            "currentTimestamp" : 1,
+            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+        },
+        "pre" : {
+            "095e7baea6a6c7c4c2dfeb977efac326af552d87" : {
+                "balance" : "1000000000000000000",
+                "nonce" : 0,
+                "code" : "0x6001601f60006000601773945304eb96065b2a98b57a48a06ae28d285a71b56103e8f1600055600051565b6023602355",
+                "storage": {}
+            },
+            "945304eb96065b2a98b57a48a06ae28d285a71b5" : {
+                "balance" : "23",
+                "code" : "0x6001600155602a601f536001601ff3",
                 "nonce" : "0",
                 "storage" : {
                 }
@@ -545,7 +586,47 @@
                 "code" : "",
                 "storage": {}
             }
+        },
+        "transaction" : {
+            "nonce" : "0",
+            "gasPrice" : "1",
+            "gasLimit" : "10000",
+            "to" : "095e7baea6a6c7c4c2dfeb977efac326af552d87",
+            "value" : "100000",
+            "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+            "data" : ""
+        }
+    },
 
+    "CallToReturn1ForDynamicJump1": {
+        "env" : {
+            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+            "currentNumber" : "0",
+            "currentGasLimit" : "10000000",
+            "currentDifficulty" : "256",
+            "currentTimestamp" : 1,
+            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+        },
+        "pre" : {
+            "095e7baea6a6c7c4c2dfeb977efac326af552d87" : {
+                "balance" : "1000000000000000000",
+                "nonce" : 0,
+                "code" : "0x6001601f60006000601773945304eb96065b2a98b57a48a06ae28d285a71b56103e8f160005560005156605b6023602355",
+                "storage": {}
+            },
+            "945304eb96065b2a98b57a48a06ae28d285a71b5" : {
+                "balance" : "23",
+                "code" : "0x6001600155602b601f536001601ff3",
+                "nonce" : "0",
+                "storage" : {
+                }
+            },
+            "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+                "balance" : "1000000000000000000",
+                "nonce" : 0,
+                "code" : "",
+                "storage": {}
+            }
         },
         "transaction" : {
             "nonce" : "0",
diff --git a/vmArithmeticTestFiller.json b/vmArithmeticTestFiller.json
index fb1fb8dd..12574f51 100644
--- a/vmArithmeticTestFiller.json
+++ b/vmArithmeticTestFiller.json
@@ -814,6 +814,62 @@
         }
     },
 
+    "sdiv4": {
+        "env" : {
+        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+        "currentNumber" : "0",
+        "currentGasLimit" : "1000000",
+        "currentDifficulty" : "256",
+        "currentTimestamp" : 1,
+        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+        },
+        "pre" : {
+        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+            "balance" : "1000000000000000000",
+            "nonce" : 0,
+            "code" : "{ [[ 0 ]] (SDIV 5 (- 0 4) )  }",
+            "storage": {}
+        }
+        },
+        "exec" : {
+            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+            "origin" : "cd1722f2947def4cf144679da39c4c32bdc35681",
+            "caller" : "cd1722f2947def4cf144679da39c4c32bdc35681",
+            "value" : "1000000000000000000",
+            "data" : "",
+            "gasPrice" : "100000000000000",
+            "gas" : "10000"
+        }
+    },
+
+    "sdiv5": {
+        "env" : {
+        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+        "currentNumber" : "0",
+        "currentGasLimit" : "1000000",
+        "currentDifficulty" : "256",
+        "currentTimestamp" : 1,
+        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+        },
+        "pre" : {
+        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+            "balance" : "1000000000000000000",
+            "nonce" : 0,
+            "code" : "{ [[ 0 ]] (SDIV (- 0 57896044618658097711785492504343953926634992332820282019728792003956564819967) (- 0 1) )  }",
+            "storage": {}
+        }
+        },
+        "exec" : {
+            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+            "origin" : "cd1722f2947def4cf144679da39c4c32bdc35681",
+            "caller" : "cd1722f2947def4cf144679da39c4c32bdc35681",
+            "value" : "1000000000000000000",
+            "data" : "",
+            "gasPrice" : "100000000000000",
+            "gas" : "10000"
+        }
+    },
+
     "mod0": {
         "env" : {
         "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
diff --git a/vmIOandFlowOperationsTestFiller.json b/vmIOandFlowOperationsTestFiller.json
index efbd0d68..a6c22171 100644
--- a/vmIOandFlowOperationsTestFiller.json
+++ b/vmIOandFlowOperationsTestFiller.json
@@ -475,6 +475,34 @@
         }
     },
 
+    "jumpdestBigList": {
+        "env" : {
+        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+        "currentNumber" : "0",
+        "currentGasLimit" : "1000000",
+        "currentDifficulty" : "256",
+        "currentTimestamp" : 1,
+        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+        },
+        "pre" : {
+        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+            "balance" : "1000000000000000000",
+            "nonce" : 0,
+            "code" : "0x6009565b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b",
+            "storage": {}
+        }
+        },
+        "exec" : {
+            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+            "value" : "1000000000000000000",
+            "data" : "",
+            "gasPrice" : "100000000000000",
+            "gas" : "100000000"
+        }
+    },
+
     "jumpAfterStop": {
         "env" : {
         "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
@@ -1202,6 +1230,34 @@
         }
     },
 
+    "DynamicJumpStartWithJumpDest": {
+        "env" : {
+        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+        "currentNumber" : "0",
+        "currentGasLimit" : "1000000",
+        "currentDifficulty" : "256",
+        "currentTimestamp" : 1,
+        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+        },
+        "pre" : {
+        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+            "balance" : "1000000000000000000",
+            "nonce" : 0,
+            "code" : "0x5b586000555960115758600052596000575b58600055",
+            "storage": {}
+        }
+        },
+        "exec" : {
+            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+            "value" : "1000000000000000000",
+            "data" : "",
+            "gasPrice" : "100000000000000",
+            "gas" : "10000"
+        }
+    },
+
     "DynamicJump0_foreverOutOfGas": {
         "env" : {
         "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
@@ -1537,6 +1593,1194 @@
         }
     },
 
+    "BlockNumberDynamicJumpiAfterStop": {
+           "env" : {
+           "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+           "currentNumber" : "2",
+           "currentGasLimit" : "1000000",
+           "currentDifficulty" : "256",
+           "currentTimestamp" : 1,
+           "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+           },
+           "pre" : {
+           "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+               "balance" : "1000000000000000000",
+               "nonce" : 0,
+               "code" : "0x600160084301570060015b6002600355",
+               "storage": {}
+           }
+           },
+           "exec" : {
+               "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+               "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+               "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+               "value" : "1000000000000000000",
+               "data" : "",
+               "gasPrice" : "100000000000000",
+               "gas" : "10000"
+           }
+       },
+
+   "BlockNumberDynamicJumpInsidePushWithoutJumpDest": {
+       "env" : {
+       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+       "currentNumber" : "2",
+       "currentGasLimit" : "1000000",
+       "currentDifficulty" : "256",
+       "currentTimestamp" : 1,
+       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+       },
+       "pre" : {
+       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+           "balance" : "1000000000000000000",
+           "nonce" : 0,
+           "code" : "0x600543015661eeff",
+           "storage": {}
+       }
+       },
+       "exec" : {
+           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "value" : "1000000000000000000",
+           "data" : "",
+           "gasPrice" : "100000000000000",
+           "gas" : "10000"
+       }
+   },
+
+   "BlockNumberDynamicJumpInsidePushWithJumpDest": {
+       "env" : {
+       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+       "currentNumber" : "2",
+       "currentGasLimit" : "1000000",
+       "currentDifficulty" : "256",
+       "currentTimestamp" : 1,
+       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+       },
+       "pre" : {
+       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+           "balance" : "1000000000000000000",
+           "nonce" : 0,
+           "code" : "0x6004430156655b6001600155",
+           "storage": {}
+       }
+       },
+       "exec" : {
+           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "value" : "1000000000000000000",
+           "data" : "",
+           "gasPrice" : "100000000000000",
+           "gas" : "10000"
+       }
+   },
+
+   "BlockNumberDynamicJumpifInsidePushWithoutJumpDest": {
+       "env" : {
+       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+       "currentNumber" : "2",
+       "currentGasLimit" : "1000000",
+       "currentDifficulty" : "256",
+       "currentTimestamp" : 1,
+       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+       },
+       "pre" : {
+       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+           "balance" : "1000000000000000000",
+           "nonce" : 0,
+           "code" : "0x6001600743015761eeff",
+           "storage": {}
+       }
+       },
+       "exec" : {
+           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "value" : "1000000000000000000",
+           "data" : "",
+           "gasPrice" : "100000000000000",
+           "gas" : "10000"
+       }
+   },
+
+   "BlockNumberDynamicJumpifInsidePushWithJumpDest": {
+       "env" : {
+       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+       "currentNumber" : "2",
+       "currentGasLimit" : "1000000",
+       "currentDifficulty" : "256",
+       "currentTimestamp" : 1,
+       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+       },
+       "pre" : {
+       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+           "balance" : "1000000000000000000",
+           "nonce" : 0,
+           "code" : "0x60016006430157655b6001600155",
+           "storage": {}
+       }
+       },
+       "exec" : {
+           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "value" : "1000000000000000000",
+           "data" : "",
+           "gasPrice" : "100000000000000",
+           "gas" : "10000"
+       }
+   },
+
+   "BlockNumberDynamicJump0_foreverOutOfGas": {
+       "env" : {
+       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+       "currentNumber" : "2",
+       "currentGasLimit" : "1000000",
+       "currentDifficulty" : "256",
+       "currentTimestamp" : 1,
+       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+       },
+       "pre" : {
+       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+           "balance" : "1000000000000000000",
+           "nonce" : 0,
+           "code" : "0x5b600060000156",
+           "storage": {}
+       }
+       },
+       "exec" : {
+           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "value" : "1000000000000000000",
+           "data" : "",
+           "gasPrice" : "100000000000000",
+           "gas" : "10000"
+       }
+   },
+
+   "DyanmicJump0_outOfBoundary": {
+       "env" : {
+       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+       "currentNumber" : "2",
+       "currentGasLimit" : "1000000",
+       "currentDifficulty" : "256",
+       "currentTimestamp" : 1,
+       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+       },
+       "pre" : {
+       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+           "balance" : "1000000000000000000",
+           "nonce" : 0,
+           "code" : "0x602360074301566001600255",
+           "storage": {}
+       }
+       },
+       "exec" : {
+           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "value" : "1000000000000000000",
+           "data" : "",
+           "gasPrice" : "100000000000000",
+           "gas" : "10000"
+       }
+   },
+   "BlockNumberDynamicJump0_jumpdest0": {
+       "env" : {
+       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+       "currentNumber" : "2",
+       "currentGasLimit" : "1000000",
+       "currentDifficulty" : "256",
+       "currentTimestamp" : 1,
+       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+       },
+       "pre" : {
+       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+           "balance" : "1000000000000000000",
+           "nonce" : 0,
+           "code" : "0x6023600743015660015b600255",
+           "storage": {}
+       }
+       },
+       "exec" : {
+           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "value" : "1000000000000000000",
+           "data" : "",
+           "gasPrice" : "100000000000000",
+           "gas" : "10000"
+       }
+   },
+
+   "BlockNumberDynamicJump0_withoutJumpdest": {
+       "env" : {
+       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+       "currentNumber" : "2",
+       "currentGasLimit" : "1000000",
+       "currentDifficulty" : "256",
+       "currentTimestamp" : 1,
+       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+       },
+       "pre" : {
+       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+           "balance" : "1000000000000000000",
+           "nonce" : 0,
+           "code" : "0x602360074301566001600255",
+           "storage": {}
+       }
+       },
+       "exec" : {
+           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "value" : "1000000000000000000",
+           "data" : "",
+           "gasPrice" : "100000000000000",
+           "gas" : "10000"
+       }
+   },
+
+   "BlockNumberDynamicJump0_AfterJumpdest": {
+       "env" : {
+       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+       "currentNumber" : "2",
+       "currentGasLimit" : "1000000",
+       "currentDifficulty" : "256",
+       "currentTimestamp" : 1,
+       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+       },
+       "pre" : {
+       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+           "balance" : "1000000000000000000",
+           "nonce" : 0,
+           "code" : "0x6023600843015660015b600255",
+           "storage": {}
+       }
+       },
+       "exec" : {
+           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "value" : "1000000000000000000",
+           "data" : "",
+           "gasPrice" : "100000000000000",
+           "gas" : "10000"
+       }
+   },
+
+   "BlockNumberDynamicJump0_jumpdest2": {
+       "env" : {
+       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+       "currentNumber" : "2",
+       "currentGasLimit" : "1000000",
+       "currentDifficulty" : "256",
+       "currentTimestamp" : 1,
+       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+       },
+       "pre" : {
+       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+           "balance" : "1000000000000000000",
+           "nonce" : 0,
+           "code" : "0x6023600a60085043015660015b600255",
+           "storage": {}
+       }
+       },
+       "exec" : {
+           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "value" : "1000000000000000000",
+           "data" : "",
+           "gasPrice" : "100000000000000",
+           "gas" : "10000"
+       }
+   },
+
+   "BlockNumberDynamicJump0_AfterJumpdest3": {
+       "env" : {
+       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+       "currentNumber" : "2",
+       "currentGasLimit" : "1000000",
+       "currentDifficulty" : "256",
+       "currentTimestamp" : 1,
+       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+       },
+       "pre" : {
+       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+           "balance" : "1000000000000000000",
+           "nonce" : 0,
+           "code" : "0x6023600b60085043015660015b600255",
+           "storage": {}
+       }
+       },
+       "exec" : {
+           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "value" : "1000000000000000000",
+           "data" : "",
+           "gasPrice" : "100000000000000",
+           "gas" : "10000"
+       }
+   },
+
+   "BlockNumberDynamicJump1": {
+       "env" : {
+       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+       "currentNumber" : "2",
+       "currentGasLimit" : "1000000",
+       "currentDifficulty" : "256",
+       "currentTimestamp" : 1,
+       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+       },
+       "pre" : {
+       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+           "balance" : "1000000000000000000",
+           "nonce" : 0,
+           "code" : "0x620fffff620fffff01430156",
+           "storage": {}
+       }
+       },
+       "exec" : {
+           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "value" : "1000000000000000000",
+           "data" : "",
+           "gasPrice" : "100000000000000",
+           "gas" : "10000"
+       }
+   },
+
+   "BlockNumberDynamicJumpi0": {
+       "env" : {
+       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+       "currentNumber" : "2",
+       "currentGasLimit" : "1000000",
+       "currentDifficulty" : "256",
+       "currentTimestamp" : 1,
+       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+       },
+       "pre" : {
+       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+           "balance" : "1000000000000000000",
+           "nonce" : 0,
+           "code" : "0x6023600160094301576001600255",
+           "storage": {}
+       }
+       },
+       "exec" : {
+           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "value" : "1000000000000000000",
+           "data" : "",
+           "gasPrice" : "100000000000000",
+           "gas" : "10000"
+       }
+   },
+
+   "BlockNumberDynamicJumpi1_jumpdest": {
+       "env" : {
+       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+       "currentNumber" : "2",
+       "currentGasLimit" : "1000000",
+       "currentDifficulty" : "256",
+       "currentTimestamp" : 1,
+       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+       },
+       "pre" : {
+       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+           "balance" : "1000000000000000000",
+           "nonce" : 0,
+           "code" : "0x60236001600a43015760015b600255",
+           "storage": {}
+       }
+       },
+       "exec" : {
+           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "value" : "1000000000000000000",
+           "data" : "",
+           "gasPrice" : "100000000000000",
+           "gas" : "10000"
+       }
+   },
+
+   "BlockNumberDynamicJumpi1": {
+       "env" : {
+       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+       "currentNumber" : "2",
+       "currentGasLimit" : "1000000",
+       "currentDifficulty" : "256",
+       "currentTimestamp" : 1,
+       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+       },
+       "pre" : {
+       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+           "balance" : "1000000000000000000",
+           "nonce" : 0,
+           "code" : "0x6023600060094301576001600255",
+           "storage": {}
+       }
+       },
+       "exec" : {
+           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "value" : "1000000000000000000",
+           "data" : "",
+           "gasPrice" : "100000000000000",
+           "gas" : "10000"
+       }
+   },
+
+   "BlockNumberDynamicJumpiOutsideBoundary": {
+       "env" : {
+       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+       "currentNumber" : "2",
+       "currentGasLimit" : "1000000",
+       "currentDifficulty" : "256",
+       "currentTimestamp" : 1,
+       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+       },
+       "pre" : {
+       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+           "balance" : "1000000000000000000",
+           "nonce" : 0,
+           "code" : "0x60017ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04301576002600355",
+           "storage": {}
+       }
+       },
+       "exec" : {
+           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "value" : "1000000000000000000",
+           "data" : "",
+           "gasPrice" : "100000000000000",
+           "gas" : "10000"
+       }
+   },
+
+
+    "DynamicJumpJD_DependsOnJumps0": {
+        "env" : {
+        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+        "currentNumber" : "1",
+        "currentGasLimit" : "1000000",
+        "currentDifficulty" : "256",
+        "currentTimestamp" : 1,
+        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+        },
+        "pre" : {
+        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+            "balance" : "1000000000000000000",
+            "nonce" : 0,
+                "//" : "PUSH1 3 JUMP",
+            "code" : "0x6009436006575b566001",
+            "storage": {}
+        }
+        },
+        "exec" : {
+            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+            "value" : "1000000000000000000",
+            "data" : "",
+            "gasPrice" : "100000000000000",
+            "gas" : "10000"
+        }
+    },
+
+    "DynamicJumpJD_DependsOnJumps1": {
+        "env" : {
+        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+        "currentNumber" : "1",
+        "currentGasLimit" : "1000000",
+        "currentDifficulty" : "256",
+        "currentTimestamp" : 1,
+        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+        },
+        "pre" : {
+        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+            "balance" : "1000000000000000000",
+            "nonce" : 0,
+            "code" : "0x600a436006575b5660015b6001600155",
+            "storage": {}
+        }
+        },
+        "exec" : {
+            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+            "value" : "1000000000000000000",
+            "data" : "",
+            "gasPrice" : "100000000000000",
+            "gas" : "10000"
+        }
+    },
+
+    "DynamicJumpPathologicalTest0": {
+        "env" : {
+        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+        "currentNumber" : "4",
+        "currentGasLimit" : "1000000",
+        "currentDifficulty" : "256",
+        "currentTimestamp" : 1,
+        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+        },
+        "pre" : {
+        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+            "balance" : "1000000000000000000",
+            "nonce" : 0,
+            "code" : "0x435660615b4343025660615b60615b5b5b6001600155",
+            "storage": {}
+        }
+        },
+        "exec" : {
+            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+            "value" : "1000000000000000000",
+            "data" : "",
+            "gasPrice" : "100000000000000",
+            "gas" : "10000"
+        }
+    },
+
+    "DynamicJumpPathologicalTest1": {
+        "env" : {
+        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+        "currentNumber" : "4",
+        "currentGasLimit" : "1000000",
+        "currentDifficulty" : "256",
+        "currentTimestamp" : 1,
+        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+        },
+        "pre" : {
+        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+            "balance" : "1000000000000000000",
+            "nonce" : 0,
+            "code" : "0x435660615b4343025660615b60615b605b6001600155",
+            "storage": {}
+        }
+        },
+        "exec" : {
+            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+            "value" : "1000000000000000000",
+            "data" : "",
+            "gasPrice" : "100000000000000",
+            "gas" : "10000"
+        }
+    },
+
+    "DynamicJumpPathologicalTest2": {
+        "env" : {
+        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+        "currentNumber" : "4",
+        "currentGasLimit" : "1000000",
+        "currentDifficulty" : "256",
+        "currentTimestamp" : 1,
+        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+        },
+        "pre" : {
+        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+            "balance" : "1000000000000000000",
+            "nonce" : 0,
+            "code" : "0x435631615b60615b60615b606001600155",
+            "storage": {}
+        }
+        },
+        "exec" : {
+            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+            "value" : "1000000000000000000",
+            "data" : "",
+            "gasPrice" : "100000000000000",
+            "gas" : "10000"
+        }
+    },
+
+    "DynamicJumpPathologicalTest3": {
+        "env" : {
+        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+        "currentNumber" : "7",
+        "currentGasLimit" : "1000000",
+        "currentDifficulty" : "256",
+        "currentTimestamp" : 1,
+        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+        },
+        "pre" : {
+        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+            "balance" : "1000000000000000000",
+            "nonce" : 0,
+            "code" : "0x435631615b60615b60615b606001600155",
+            "storage": {}
+        }
+        },
+        "exec" : {
+            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+            "value" : "1000000000000000000",
+            "data" : "",
+            "gasPrice" : "100000000000000",
+            "gas" : "10000"
+        }
+    },
+
+    "DynamicJumpPathologicalTest3": {
+        "env" : {
+        "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+        "currentNumber" : "7",
+        "currentGasLimit" : "1000000",
+        "currentDifficulty" : "256",
+        "currentTimestamp" : 1,
+        "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+        },
+        "pre" : {
+        "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+            "balance" : "1000000000000000000",
+            "nonce" : 0,
+            "code" : "0x435631615b60615b60615b606001600155",
+            "storage": {}
+        }
+        },
+        "exec" : {
+            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+            "value" : "1000000000000000000",
+            "data" : "",
+            "gasPrice" : "100000000000000",
+            "gas" : "10000"
+        }
+    },
+
+    "JDfromStorageDynamicJumpiAfterStop": {
+           "env" : {
+           "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+           "currentNumber" : "2",
+           "currentGasLimit" : "1000000",
+           "currentDifficulty" : "256",
+           "currentTimestamp" : 1,
+           "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+           },
+           "pre" : {
+           "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+               "balance" : "1000000000000000000",
+               "nonce" : 0,
+               "code" : "0x6001600860005401570060015b6002600355",
+               "storage" : {
+                       "0x00" : "0x04"
+                   }
+           }
+           },
+           "exec" : {
+               "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+               "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+               "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+               "value" : "1000000000000000000",
+               "data" : "",
+               "gasPrice" : "100000000000000",
+               "gas" : "10000"
+           }
+    },
+
+    "JDfromStorageDynamicJumpInsidePushWithoutJumpDest": {
+       "env" : {
+       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+       "currentNumber" : "2",
+       "currentGasLimit" : "1000000",
+       "currentDifficulty" : "256",
+       "currentTimestamp" : 1,
+       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+       },
+       "pre" : {
+       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+           "balance" : "1000000000000000000",
+           "nonce" : 0,
+           "code" : "0x6005600054015661eeff",
+           "storage" : {
+                   "0x00" : "0x04"
+               }
+       }
+       },
+       "exec" : {
+           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "value" : "1000000000000000000",
+           "data" : "",
+           "gasPrice" : "100000000000000",
+           "gas" : "10000"
+       }
+    },
+
+    "JDfromStorageDynamicJumpInsidePushWithJumpDest": {
+       "env" : {
+       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+       "currentNumber" : "2",
+       "currentGasLimit" : "1000000",
+       "currentDifficulty" : "256",
+       "currentTimestamp" : 1,
+       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+       },
+       "pre" : {
+       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+           "balance" : "1000000000000000000",
+           "nonce" : 0,
+           "code" : "0x60046000540156655b6001600155",
+           "storage" : {
+                   "0x00" : "0x04"
+               }
+       }
+       },
+       "exec" : {
+           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "value" : "1000000000000000000",
+           "data" : "",
+           "gasPrice" : "100000000000000",
+           "gas" : "10000"
+       }
+    },
+
+    "JDfromStorageDynamicJumpifInsidePushWithoutJumpDest": {
+       "env" : {
+       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+       "currentNumber" : "2",
+       "currentGasLimit" : "1000000",
+       "currentDifficulty" : "256",
+       "currentTimestamp" : 1,
+       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+       },
+       "pre" : {
+       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+           "balance" : "1000000000000000000",
+           "nonce" : 0,
+           "code" : "0x60016007600054015761eeff",
+           "storage" : {
+                   "0x00" : "0x04"
+               }
+       }
+       },
+       "exec" : {
+           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "value" : "1000000000000000000",
+           "data" : "",
+           "gasPrice" : "100000000000000",
+           "gas" : "10000"
+       }
+    },
+
+    "JDfromStorageDynamicJumpifInsidePushWithJumpDest": {
+       "env" : {
+       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+       "currentNumber" : "2",
+       "currentGasLimit" : "1000000",
+       "currentDifficulty" : "256",
+       "currentTimestamp" : 1,
+       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+       },
+       "pre" : {
+       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+           "balance" : "1000000000000000000",
+           "nonce" : 0,
+           "code" : "0x600160066000540157655b6001600155",
+           "storage" : {
+                   "0x00" : "0x04"
+               }
+       }
+       },
+       "exec" : {
+           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "value" : "1000000000000000000",
+           "data" : "",
+           "gasPrice" : "100000000000000",
+           "gas" : "10000"
+       }
+    },
+
+    "JDfromStorageDynamicJump0_foreverOutOfGas": {
+       "env" : {
+       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+       "currentNumber" : "2",
+       "currentGasLimit" : "1000000",
+       "currentDifficulty" : "256",
+       "currentTimestamp" : 1,
+       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+       },
+       "pre" : {
+       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+           "balance" : "1000000000000000000",
+           "nonce" : 0,
+           "code" : "0x5b600060000156",
+           "storage" : {
+                   "0x00" : "0x04"
+               }
+       }
+       },
+       "exec" : {
+           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "value" : "1000000000000000000",
+           "data" : "",
+           "gasPrice" : "100000000000000",
+           "gas" : "10000"
+       }
+    },
+
+    "DyanmicJump0_outOfBoundary": {
+       "env" : {
+       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+       "currentNumber" : "2",
+       "currentGasLimit" : "1000000",
+       "currentDifficulty" : "256",
+       "currentTimestamp" : 1,
+       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+       },
+       "pre" : {
+       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+           "balance" : "1000000000000000000",
+           "nonce" : 0,
+           "code" : "0x6023600760005401566001600255",
+           "storage" : {
+                   "0x00" : "0x04"
+               }
+
+       }
+       },
+       "exec" : {
+           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "value" : "1000000000000000000",
+           "data" : "",
+           "gasPrice" : "100000000000000",
+           "gas" : "10000"
+       }
+    },
+    "JDfromStorageDynamicJump0_jumpdest0": {
+       "env" : {
+       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+       "currentNumber" : "2",
+       "currentGasLimit" : "1000000",
+       "currentDifficulty" : "256",
+       "currentTimestamp" : 1,
+       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+       },
+       "pre" : {
+       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+           "balance" : "1000000000000000000",
+           "nonce" : 0,
+           "code" : "0x60236007600054015660015b600255",
+           "storage" : {
+                   "0x00" : "0x04"
+               }
+       }
+       },
+       "exec" : {
+           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "value" : "1000000000000000000",
+           "data" : "",
+           "gasPrice" : "100000000000000",
+           "gas" : "10000"
+       }
+    },
+
+    "JDfromStorageDynamicJump0_withoutJumpdest": {
+       "env" : {
+       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+       "currentNumber" : "2",
+       "currentGasLimit" : "1000000",
+       "currentDifficulty" : "256",
+       "currentTimestamp" : 1,
+       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+       },
+       "pre" : {
+       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+           "balance" : "1000000000000000000",
+           "nonce" : 0,
+           "code" : "0x6023600760005401566001600255",
+           "storage" : {
+                   "0x00" : "0x04"
+               }
+
+       }
+       },
+       "exec" : {
+           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "value" : "1000000000000000000",
+           "data" : "",
+           "gasPrice" : "100000000000000",
+           "gas" : "10000"
+       }
+    },
+
+    "JDfromStorageDynamicJump0_AfterJumpdest": {
+       "env" : {
+       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+       "currentNumber" : "2",
+       "currentGasLimit" : "1000000",
+       "currentDifficulty" : "256",
+       "currentTimestamp" : 1,
+       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+       },
+       "pre" : {
+       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+           "balance" : "1000000000000000000",
+           "nonce" : 0,
+           "code" : "0x60236008600054015660015b600255",
+           "storage" : {
+                   "0x00" : "0x04"
+               }
+       }
+       },
+       "exec" : {
+           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "value" : "1000000000000000000",
+           "data" : "",
+           "gasPrice" : "100000000000000",
+           "gas" : "10000"
+       }
+    },
+
+    "JDfromStorageDynamicJump0_jumpdest2": {
+       "env" : {
+       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+       "currentNumber" : "2",
+       "currentGasLimit" : "1000000",
+       "currentDifficulty" : "256",
+       "currentTimestamp" : 1,
+       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+       },
+       "pre" : {
+       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+           "balance" : "1000000000000000000",
+           "nonce" : 0,
+           "code" : "0x6023600a600850600054015660015b600255",
+           "storage" : {
+                   "0x00" : "0x04"
+               }
+
+       }
+       },
+       "exec" : {
+           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "value" : "1000000000000000000",
+           "data" : "",
+           "gasPrice" : "100000000000000",
+           "gas" : "10000"
+       }
+    },
+
+    "JDfromStorageDynamicJump0_AfterJumpdest3": {
+       "env" : {
+       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+       "currentNumber" : "2",
+       "currentGasLimit" : "1000000",
+       "currentDifficulty" : "256",
+       "currentTimestamp" : 1,
+       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+       },
+       "pre" : {
+       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+           "balance" : "1000000000000000000",
+           "nonce" : 0,
+           "code" : "0x6023600b600850600054015660015b600255",
+           "storage" : {
+                   "0x00" : "0x04"
+               }
+       }
+       },
+       "exec" : {
+           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "value" : "1000000000000000000",
+           "data" : "",
+           "gasPrice" : "100000000000000",
+           "gas" : "10000"
+       }
+    },
+
+    "JDfromStorageDynamicJump1": {
+       "env" : {
+       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+       "currentNumber" : "2",
+       "currentGasLimit" : "1000000",
+       "currentDifficulty" : "256",
+       "currentTimestamp" : 1,
+       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+       },
+       "pre" : {
+       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+           "balance" : "1000000000000000000",
+           "nonce" : 0,
+           "code" : "0x620fffff620fffff016000540156",
+           "storage" : {
+                   "0x00" : "0x04"
+               }
+
+       }
+       },
+       "exec" : {
+           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "value" : "1000000000000000000",
+           "data" : "",
+           "gasPrice" : "100000000000000",
+           "gas" : "10000"
+       }
+    },
+
+    "JDfromStorageDynamicJumpi0": {
+       "env" : {
+       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+       "currentNumber" : "2",
+       "currentGasLimit" : "1000000",
+       "currentDifficulty" : "256",
+       "currentTimestamp" : 1,
+       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+       },
+       "pre" : {
+       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+           "balance" : "1000000000000000000",
+           "nonce" : 0,
+           "code" : "0x60236001600960005401576001600255",
+           "storage" : {
+                   "0x00" : "0x04"
+               }
+       }
+       },
+       "exec" : {
+           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "value" : "1000000000000000000",
+           "data" : "",
+           "gasPrice" : "100000000000000",
+           "gas" : "10000"
+       }
+    },
+
+    "JDfromStorageDynamicJumpi1_jumpdest": {
+       "env" : {
+       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+       "currentNumber" : "2",
+       "currentGasLimit" : "1000000",
+       "currentDifficulty" : "256",
+       "currentTimestamp" : 1,
+       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+       },
+       "pre" : {
+       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+           "balance" : "1000000000000000000",
+           "nonce" : 0,
+           "code" : "0x60236001600a600054015760015b600255",
+           "storage" : {
+                   "0x00" : "0x04"
+               }
+
+       }
+       },
+       "exec" : {
+           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "value" : "1000000000000000000",
+           "data" : "",
+           "gasPrice" : "100000000000000",
+           "gas" : "10000"
+       }
+    },
+
+    "JDfromStorageDynamicJumpi1": {
+       "env" : {
+       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+       "currentNumber" : "2",
+       "currentGasLimit" : "1000000",
+       "currentDifficulty" : "256",
+       "currentTimestamp" : 1,
+       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+       },
+       "pre" : {
+       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+           "balance" : "1000000000000000000",
+           "nonce" : 0,
+           "code" : "0x60236000600960005401576001600255",
+           "storage" : {
+                   "0x00" : "0x04"
+               }
+       }
+       },
+       "exec" : {
+           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "value" : "1000000000000000000",
+           "data" : "",
+           "gasPrice" : "100000000000000",
+           "gas" : "10000"
+       }
+    },
+
+    "JDfromStorageDynamicJumpiOutsideBoundary": {
+       "env" : {
+       "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+       "currentNumber" : "2",
+       "currentGasLimit" : "1000000",
+       "currentDifficulty" : "256",
+       "currentTimestamp" : 1,
+       "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+       },
+       "pre" : {
+       "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+           "balance" : "1000000000000000000",
+           "nonce" : 0,
+           "code" : "0x60017ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff060005401576002600355",
+           "storage" : {
+                   "0x00" : "0x04"
+               }
+       }
+       },
+       "exec" : {
+           "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+           "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+           "value" : "1000000000000000000",
+           "data" : "",
+           "gasPrice" : "100000000000000",
+           "gas" : "10000"
+       }
+    },
+
+
     "pc0": {
         "env" : {
         "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",