{
    "address0": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ [[ 0 ]] (ADDRESS)}",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },

    "address1": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "cd1722f3947def4cf144679da39c4c32bdc35681" : {
                "storage" : {
                    "0x" : "0xcd1722f3947def4cf144679da39c4c32bdc35681"
                }
            }
        },
        "pre" : {
            "cd1722f3947def4cf144679da39c4c32bdc35681" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ [[ 0 ]] (ADDRESS)}",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "origin" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },

    "balance0": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ [[ 0 ]] (BALANCE 0xcd1722f3947def4cf144679da39c4c32bdc35681 )}",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },

    "balance01": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
		      "0x": "0x01"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ [[ 0 ]] (BALANCE 0xcd1722f3947def4cf144679da39c4c32bdc35681 )}",
                "storage": {}
            },
	    "cd1722f3947def4cf144679da39c4c32bdc35681" : {
                "balance" : "1",
                "nonce" : "0",
                "code" : "",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },

    "balanceAddressInputTooBig": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ [[ 0 ]] (BALANCE 0xcd1722f3947def4cf144679da39c4c32bdc35681aa )}",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },

    "balanceAddressInputTooBigRightMyAddress": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ [[ 0 ]] (BALANCE 0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6aa )}",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },

    "balanceAddressInputTooBigLeftMyAddress": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x152d02c7e14af6800000"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ [[ 0 ]] (BALANCE 0xaa0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6 )}",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },


    "balance1": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x152d02c7e14af6800000"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ [[ 0 ]] (BALANCE 0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6 )}",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },

    "balanceAddress2": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expet" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x01"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ [[ 0 ]] (EQ (BALANCE 0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6) (BALANCE (ADDRESS)))}",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },

    "balanceCaller3": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x01"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ [[ 0 ]] (EQ (BALANCE 0xcd1722f3947def4cf144679da39c4c32bdc35681) (BALANCE (CALLER)))}",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },

    "origin": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0xcd1722f3947def4cf144679da39c4c32bdc35681"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ [[ 0 ]] (ORIGIN)}",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },

    "caller": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0xcd1722f3947def4cf144679da39c4c32bdc35681"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ [[ 0 ]] (CALLER)}",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },


    "callvalue": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x0de0b6b3a7640000"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ [[ 0 ]] (CALLVALUE)}",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },


    "calldataload0": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x0256000000000000000000000000000000000000000000000000000000000000"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ [[ 0 ]] (CALLDATALOAD 0)}",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "0x256",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },

    "calldataload_BigOffset": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ [[ 0 ]] (CALLDATALOAD 0x4200000000000000000000000000000000000000000000000000000000000000)}",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "0x4200000000000000000000000000000000000000000000000000000000000000",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },

    "calldataload1": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff23"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ [[ 0 ]] (CALLDATALOAD 1)}",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff23",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },

    "calldataload2": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0xabcdef0000000000000000000000000000000000000000000000000024000000"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ [[ 0 ]] (CALLDATALOAD 5)}",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "0x123456789abcdef0000000000000000000000000000000000000000000000000024",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },

    "calldataloadSizeTooHigh": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ [[ 0 ]] (CALLDATALOAD 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa)}",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "0x123456789abcdef0000000000000000000000000000000000000000000000000024",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },

    "calldatasize0": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x02"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ [[ 0 ]] (CALLDATASIZE)}",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "0x256",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },

    "calldatasize1": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x21"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ [[ 0 ]] (CALLDATASIZE)}",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff23",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },

    "calldatasize2": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x21"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ [[ 0 ]] (CALLDATASIZE)}",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "0x230000000000000000000000000000000000000000000000000000000000000023",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },

    "calldatacopy0": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x2345000000000000000000000000000000000000000000000000000000000000"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ (CALLDATACOPY 0 1 2 ) [[ 0 ]] @0}",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "0x1234567890abcdef01234567890abcdef",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },

    "calldatacopyUnderFlow": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "(asm 1 2 CALLDATACOPY)",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "0x1234567890abcdef01234567890abcdef",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },

    "calldatacopyZeroMemExpansion": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ (CALLDATACOPY 0 0 0 ) [[ 0 ]] @0}",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "0x1234567890abcdef01234567890abcdef",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },

    "calldatacopy_DataIndexTooHigh": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ (CALLDATACOPY 0 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa 0xff ) [[ 0 ]] @0}",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "0x1234567890abcdef01234567890abcdef",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },

    "calldatacopy_DataIndexTooHigh2": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ (CALLDATACOPY 0 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa 9 ) [[ 0 ]] @0}",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "0x1234567890abcdef01234567890abcdef",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },

    "calldatacopy1": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
	"expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x2300000000000000000000000000000000000000000000000000000000000000"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ (CALLDATACOPY 0 1 1 ) [[ 0 ]] @0}",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "0x1234567890abcdef01234567890abcdef",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },

    "calldatacopy2": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ (CALLDATACOPY 0 1 0 ) [[ 0 ]] @0}",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "0x1234567890abcdef01234567890abcdef",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },

    "calldatacopy0_return": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
	"expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x2345000000000000000000000000000000000000000000000000000000000000"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "nonce" : "0",
                "code" : "{ (CALLDATACOPY 0 1 2 ) [[0]] (MLOAD 0) (RETURN 0 (MSIZE))}",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "0x1234567890abcdef01234567890abcdef",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },

    "calldatacopyZeroMemExpansion_return": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
	"expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x00"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "nonce" : "0",
                "code" : "{ (CALLDATACOPY 0 0 0 ) [[0]] (MLOAD 0) (RETURN 0 (MSIZE))}",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "0x1234567890abcdef01234567890abcdef",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },

    "calldatacopy_DataIndexTooHigh_return": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "nonce" : "0",
                "code" : "{ (CALLDATACOPY 0 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa 0xff ) [[0]] (MLOAD 0) (RETURN 0 (MSIZE))}",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "0x1234567890abcdef01234567890abcdef",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },

    "calldatacopy_DataIndexTooHigh2_return": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "nonce" : "0",
                "code" : "{ (CALLDATACOPY 0 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa 9 ) [[0]] (MLOAD 0) (RETURN 0 (MSIZE))}",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "0x1234567890abcdef01234567890abcdef",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },

    "calldatacopy1_return": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "export" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x2300000000000000000000000000000000000000000000000000000000000000"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "nonce" : "0",
                "code" : "{ (CALLDATACOPY 0 1 1 ) [[0]] (MLOAD 0) (RETURN 0 (MSIZE))}",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "0x1234567890abcdef01234567890abcdef",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },

    "calldatacopy2_return": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "nonce" : "0",
                "code" : "{ (CALLDATACOPY 0 1 0 ) [[0]] (MLOAD 0) (RETURN 0 (MSIZE))}",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "0x1234567890abcdef01234567890abcdef",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },

    "codesize": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x04"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ [[ 0 ]] (CODESIZE)}",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "0x1234567890abcdef01234567890abcdef",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },

    "codecopy_DataIndexTooHigh": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ (CODECOPY 0 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa 8 ) [[ 0 ]] @0}",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "0x1234567890abcdef01234567890abcdef",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },

    "codecopy0": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x6005600060000000000000000000000000000000000000000000000000000000"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ (CODECOPY 0 0 5 ) [[ 0 ]] @0 }",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "0x1234567890abcdef01234567890abcdef",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },

    "codecopyZeroMemExpansion": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ (CODECOPY 0 0 0 ) [[ 0 ]] @0 }",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "0x1234567890abcdef01234567890abcdef",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },

    "gasprice": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x075bcd15"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ [[ 0 ]] (GASPRICE) }",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "0x1234567890abcdef01234567890abcdef",
            "gasPrice" : "123456789",
            "gas" : "100000000000"
        }
    },

    "ExtCodeSizeAddressInputTooBigRightMyAddress": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ [[ 0 ]] (EXTCODESIZE 0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6aa )}",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },

    "ExtCodeSizeAddressInputTooBigLeftMyAddress": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x1a"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ [[ 0 ]] (EXTCODESIZE 0xaa0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6 )}",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },


    "extcodesize0": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x01"
                }
            },
            "cd1722f3947def4cf144679da39c4c32bdc35681" : {
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ [[ 0 ]] (EQ (EXTCODESIZE (CALLER)) (CODESIZE) ) }",
                "storage": {}
            },
            "cd1722f3947def4cf144679da39c4c32bdc35681" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{  [[ 0 ]] (EQ (EXTCODESIZE (CALLER)) (CODESIZE) ) }",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "0x1234567890abcdef01234567890abcdef",
            "gasPrice" : "123456789",
            "gas" : "100000000000"
        }
    },

    "extcodesizeUnderFlow": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "(asm EXTCODESIZE)",
                "storage": {}
            },
            "cd1722f3947def4cf144679da39c4c32bdc35681" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{  [[ 0 ]] (EQ (EXTCODESIZE (CALLER)) (CODESIZE) ) }",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "0x1234567890abcdef01234567890abcdef",
            "gasPrice" : "123456789",
            "gas" : "100000000000"
        }
    },

    "extcodesize1": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                }
            },
            "cd1722f3947def4cf144679da39c4c32bdc35681" : {
                "storage" : {
                    "0x" : "0x04"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ [[ 0 ]] (CODESIZE)  }",
                "storage": {}
            },
            "cd1722f3947def4cf144679da39c4c32bdc35681" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ [[ 0 ]] (EXTCODESIZE (CALLER) ) }",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "origin" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "value" : "1000000000000000000",
            "data" : "0x1234567890abcdef01234567890abcdef",
            "gasPrice" : "123456789",
            "gas" : "100000000000"
        }
    },

    "extcodecopy_DataIndexTooHigh": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ (EXTCODECOPY (ADDRESS) 0 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa 8 ) [[ 0 ]] @0}",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "0x1234567890abcdef01234567890abcdef",
            "gasPrice" : "1000000000",
            "gas" : "100000000000"
        }
    },

    "extcodecopyZeroMemExpansion": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                }
            },
            "cd1722f3947def4cf144679da39c4c32bdc35681" : {
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ (EXTCODECOPY (CALLER) 0 0 0 ) ) [[ 0 ]] @0   }",
                "storage": {}
            },
            "cd1722f3947def4cf144679da39c4c32bdc35681" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ [[ 0 ]] 5 }",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "0x1234567890abcdef01234567890abcdef",
            "gasPrice" : "123456789",
            "gas" : "100000000000"
        }
    },


    "extcodecopy0": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x6005600055000000000000000000000000000000000000000000000000000000"
                }
            },
            "cd1722f3947def4cf144679da39c4c32bdc35681" : {
                "code" : "0x6005600055",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ (EXTCODECOPY (CALLER) 0 0 (EXTCODESIZE (CALLER) ) ) [[ 0 ]] @0   }",
                "storage": {}
            },
            "cd1722f3947def4cf144679da39c4c32bdc35681" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ [[ 0 ]] 5 }",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "0x1234567890abcdef01234567890abcdef",
            "gasPrice" : "123456789",
            "gas" : "100000000000"
        }
    },

    "extcodecopy0AddressTooBigLeft": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x6005600055000000000000000000000000000000000000000000000000000000"
                }
            },
            "cd1722f3947def4cf144679da39c4c32bdc35681" : {
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ (EXTCODECOPY 0xaacd1722f3947def4cf144679da39c4c32bdc35681 0 0 (EXTCODESIZE (CALLER) ) ) [[ 0 ]] @0   }",
                "storage": {}
            },
            "cd1722f3947def4cf144679da39c4c32bdc35681" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ [[ 0 ]] 5 }",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "0x1234567890abcdef01234567890abcdef",
            "gasPrice" : "123456789",
            "gas" : "100000000000"
        }
    },

    "extcodecopy0AddressTooBigRight": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                }
            },
            "cd1722f3947def4cf144679da39c4c32bdc35681" : {
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ (EXTCODECOPY 0xcd1722f3947def4cf144679da39c4c32bdc35681aa 0 0 (EXTCODESIZE (CALLER) ) ) [[ 0 ]] @0   }",
                "storage": {}
            },
            "cd1722f3947def4cf144679da39c4c32bdc35681" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ [[ 0 ]] 5 }",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "0x1234567890abcdef01234567890abcdef",
            "gasPrice" : "123456789",
            "gas" : "100000000000"
        }
    },
    
    "env1": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "5211",
            "currentGasLimit" : "10000013",
            "currentDifficulty" : "231883281",
            "currentTimestamp" : "42",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "10000000000000033000",
                "nonce" : "88",
                "code" : "(asm PC ADDRESS BALANCE CALLER ORIGIN CALLVALUE CALLDATASIZE GASPRICE PREVHASH COINBASE TIMESTAMP NUMBER DIFFICULTY GASLIMIT PC CALLDATASIZE 0 CALLDATALOAD 38 CALLDATALOAD 19 CALLDATALOAD CODESIZE 0x1111222233334444555566667777888899990000aaaabbbbccccddddeeeeffff 0 MSTORE 32 0 0 CREATE 32 0 32 0 0 ADDRESS 3000 CALL 0 MLOAD 4096 MSTORE MSIZE 32 MUL 0 SHA3 ADDRESS SUICIDE 1 2 RETURN)",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "10000000001111111",
            "data" : "0xdeadbeef",
            "gasPrice" : "2015",
            "gas" : "100000000001"
        }
    }
}