{
    "createNameRegistrator": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x945304eb96065b2a98b57a48a06ae28d285a71b5"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ (MSTORE 0 0x601080600c6000396000f3006000355415600957005b60203560003555) [[ 0 ]] (CREATE 23 3 29) }",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "100000"
        }
    },

    "createNameRegistratorValueTooHigh": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100",
                "nonce" : "0",
                "code" : "{ (MSTORE 0 0x601080600c6000396000f3006000355415600957005b60203560003555) [[ 0 ]] (CREATE 230 3 29) }",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "100",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "100000"
        }
    },

    "createNameRegistratorOutOfMemoryBonds0": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100",
                "nonce" : "0",
                "code" : "{ (MSTORE 0 0x601080600c6000396000f3006000355415600957005b60203560003555) [[ 0 ]] (CREATE 23 0xfffffffffff 29) }",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "100",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "100000"
        }
    },

    "createNameRegistratorOutOfMemoryBonds1": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100",
                "nonce" : "0",
                "code" : "{ (MSTORE 0 0x601080600c6000396000f3006000355415600957005b60203560003555) [[ 0 ]] (CREATE 23 3 0xffffffff) }",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "100",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "100000"
        }
    },

    "CallToNameRegistrator0": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "10000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x01"
                }
            },
            "945304eb96065b2a98b57a48a06ae28d285a71b5" : {
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ (MSTORE 0 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) (MSTORE 32 0xaaffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffaa ) [[ 0 ]] (CALL 1000000 0x945304eb96065b2a98b57a48a06ae28d285a71b5 23 0 64 64 0) }",
                "storage": {}
            },
            "945304eb96065b2a98b57a48a06ae28d285a71b5" : {
                "balance" : "23",
                "code" : "0x6000355415600957005b60203560003555",
                "nonce" : "0",
                "storage" : {
                }
            }

        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "100000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000000000000"
        }
    },

    "CallToPrecompiledContract" : {
           "env" : {
                "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
                "currentDifficulty" : "115792089237316195423570985008687907853269984665640564039457584007913129639935",
                "currentGasLimit" : "1000000",
                "currentNumber" : "0",
                "currentTimestamp" : "2",
                "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
            },
	     "expect" : {
	         "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
	          	"storage" : {
			    "0x0f4240" : "0x01"
			}
		    }
	     },
            "exec" : {
                "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
                "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
                "code" : "0x4243434242434243f14555",
                "data" : "0x",
                "gas" : "100000",
                "gasPrice" : "100000000000000",
                "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
                "value" : "1000000000000000000"
            },
            "pre" : {
                "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                    "balance" : "100000000000000000000000",
                    "code" : "0x4243434242434243f14555",
                    "nonce" : "0",
                    "storage" : {
                    }
                }
            }
        },

    "CallToReturn1": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "10000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x01"
                }
            },
            "945304eb96065b2a98b57a48a06ae28d285a71b5" : {
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ (MSTORE 0 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) (MSTORE 32 0xaaffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffaa ) [[ 0 ]] (CALL 1000000 0x945304eb96065b2a98b57a48a06ae28d285a71b5 23 0 64 0 2) }",
                "storage": {}
            },
            "945304eb96065b2a98b57a48a06ae28d285a71b5" : {
                "balance" : "23",
                "code" : "0x6001600157603760005560026000f2",
                "nonce" : "0",
                "storage" : {
                }
            }

        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "100000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000000000000"
        }
    },

    "PostToReturn1": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "10000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
		    "0x00" : "1"
                }
            },
            "945304eb96065b2a98b57a48a06ae28d285a71b5" : {
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ (MSTORE 0 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) (MSTORE 32 0xaaffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffaa ) [[0]](CALL 1000000 0x945304eb96065b2a98b57a48a06ae28d285a71b5 23 0 64 0 64 ) }",
                "storage": {}
            },
            "945304eb96065b2a98b57a48a06ae28d285a71b5" : {
                "balance" : "23",
                "code" : "0x603760005560026000f2",
                "nonce" : "0",
                "storage" : {
                }
            }

        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "100000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000000000000"
        }
    },

    "callstatelessToReturn1": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "10000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x01"
                }
            },
            "945304eb96065b2a98b57a48a06ae28d285a71b5" : {
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ (MSTORE 0 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) (MSTORE 32 0xaaffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffaa ) [[ 0 ]] (CALL 5000 0x945304eb96065b2a98b57a48a06ae28d285a71b5 23 0 64 0 2 ) }",
                "storage": {}
            },
            "945304eb96065b2a98b57a48a06ae28d285a71b5" : {
                "balance" : "23",
                "code" : "0x6001600157603760005560026000f2",
                "nonce" : "0",
                "storage" : {
                }
            }

        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "100000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000000000000"
        }
    },

    "callcodeToReturn1": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "10000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x01"
                }
            },
            "945304eb96065b2a98b57a48a06ae28d285a71b5" : {
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ (MSTORE 0 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) (MSTORE 32 0xaaffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffaa ) [[ 0 ]] (CALLCODE 500 0x945304eb96065b2a98b57a48a06ae28d285a71b5 23 0 64 0 2 ) }",
                "storage": {}
            },
            "945304eb96065b2a98b57a48a06ae28d285a71b5" : {
                "balance" : "23",
                "code" : "0x6001600157603760005560026000f2",
                "nonce" : "0",
                "storage" : {
                }
            }

        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "100000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000000000000"
        }
    },


    "CallToNameRegistratorOutOfGas": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "10000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ (MSTORE 0 0xeeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00) (MSTORE 32 0xaaffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffaa ) [[ 0 ]] (CALL 100 0x945304eb96065b2a98b57a48a06ae28d285a71b5 23 0 64 64 0) }",
                "storage": {}
            },
            "945304eb96065b2a98b57a48a06ae28d285a71b5" : {
                "balance" : "23",
                "code" : "0x6000355415600957005b60203560003555",
                "nonce" : "0",
                "storage" : {
                }
            }

        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "100000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "1000"
        }
    },

    "CallToNameRegistratorTooMuchMemory0": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "10000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ (MSTORE 0 0xeeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00) (MSTORE 32 0xaaffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffaa ) [[ 0 ]] (CALL 500 0x945304eb96065b2a98b57a48a06ae28d285a71b5 23 987654321 64 64 0) }",
                "storage": {}
            },
            "945304eb96065b2a98b57a48a06ae28d285a71b5" : {
                "balance" : "23",
                "code" : "0x6000355415600957005b60203560003555",
                "nonce" : "0",
                "storage" : {
                }
            }

        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "100000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "1000"
        }
    },

    "CallToNameRegistratorTooMuchMemory1": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "10000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ (MSTORE 0 0xeeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00) (MSTORE 32 0xaaffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffaa ) [[ 0 ]] (CALL 500 0x945304eb96065b2a98b57a48a06ae28d285a71b5 23 0 9865432 64 0) }",
                "storage": {}
            },
            "945304eb96065b2a98b57a48a06ae28d285a71b5" : {
                "balance" : "23",
                "code" : "0x6000355415600957005b60203560003555",
                "nonce" : "0",
                "storage" : {
                }
            }

        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "100000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "1000"
        }
    },

    "CallToNameRegistratorTooMuchMemory2": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "10000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ (MSTORE 0 0xeeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00) (MSTORE 32 0xaaffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffaa ) [[ 0 ]] (CALL 500 0x945304eb96065b2a98b57a48a06ae28d285a71b5 23 0 64 987654 1) }",
                "storage": {}
            },
            "945304eb96065b2a98b57a48a06ae28d285a71b5" : {
                "balance" : "23",
                "code" : "0x6000355415600957005b60203560003555",
                "nonce" : "0",
                "storage" : {
                }
            }

        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "100000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "1000"
        }
    },


    "CallToNameRegistratorNotMuchMemory0": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "10000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ (MSTORE 0 0xeeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00) (MSTORE 32 0xaaffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffaa ) [[ 0 ]] (CALL 500 0x945304eb96065b2a98b57a48a06ae28d285a71b5 23 0 64 987654 0) }",
                "storage": {}
            },
            "945304eb96065b2a98b57a48a06ae28d285a71b5" : {
                "balance" : "23",
                "code" : "0x6000355415600957005b60203560003555",
                "nonce" : "0",
                "storage" : {
                }
            }

        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "100000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "1000"
        }
    },

    "CallToNameRegistratorNotMuchMemory1": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "10000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ (MSTORE 0 0xeeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00) (MSTORE 32 0xaaffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffaa ) [[ 0 ]] (CALL 500 0x945304eb96065b2a98b57a48a06ae28d285a71b5 23 987654 0 64 0) }",
                "storage": {}
            },
            "945304eb96065b2a98b57a48a06ae28d285a71b5" : {
                "balance" : "23",
                "code" : "0x6000355415600957005b60203560003555",
                "nonce" : "0",
                "storage" : {
                }
            }

        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "100000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "1000"
        }
    },

    "CallRecursiveBomb0": {
         "env" : {
             "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
             "currentNumber" : "0",
             "currentGasLimit" : "10000000",
             "currentDifficulty" : "256",
             "currentTimestamp" : "1",
             "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
         },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                }
            },
            "945304eb96065b2a98b57a48a06ae28d285a71b5" : {
                "storage" : {
                }
            }
        },
         "pre" : {
             "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                 "balance" : "20000000",
                 "nonce" : "0",
                 "code" : "{  (CALL 100000 0x945304eb96065b2a98b57a48a06ae28d285a71b5 23 0 0 0 0)  }",
                 "storage": {}
             },
             "945304eb96065b2a98b57a48a06ae28d285a71b5" : {
                 "balance" : "100000000000000000000000",
                 "nonce" : "0",
                 "code" : "{ [[ 0 ]] (+ (SLOAD 0) 1) [[ 1 ]] (CALL (- (GAS) 224) (ADDRESS) 0 0 0 0 0) } ",
                 "storage": {}
             }
         },
         "exec" : {
             "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
             "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
             "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
             "value" : "100000",
             "data" : "",
             "gasPrice" : "1",
             "gas" : "20000000"
         }
     },

    "CallRecursiveBomb1": {
         "env" : {
             "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
             "currentNumber" : "0",
             "currentGasLimit" : "10000000",
             "currentDifficulty" : "256",
             "currentTimestamp" : "1",
             "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
         },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x01",
                    "0x01" : "0x01"
                }
            }
        },
         "pre" : {
             "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                 "balance" : "20000000",
                 "nonce" : "0",
                 "code" : "{  [[ 0 ]] (+ (SLOAD 0) 1) [[ 1 ]] (CALL (- (GAS) 224) (ADDRESS) 0 0 0 0 0)  }",
                 "storage": {}
             }
         },
         "exec" : {
             "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
             "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
             "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
             "value" : "100000",
             "data" : "",
             "gasPrice" : "1",
             "gas" : "364723"
         }
     },

    "CallRecursiveBomb2": {
         "env" : {
             "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
             "currentNumber" : "0",
             "currentGasLimit" : "10000000",
             "currentDifficulty" : "256",
             "currentTimestamp" : "1",
             "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
         },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x01",
                    "0x01" : "0x01"
                }
            }
        },
         "pre" : {
             "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                 "balance" : "20000000",
                 "nonce" : "0",
                 "code" : "{  [[ 0 ]] (+ (SLOAD 0) 1) [[ 1 ]] (CALL (- (GAS) 224) (ADDRESS) 0 0 0 0 0)  }",
                 "storage": {}
             }
         },
         "exec" : {
             "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
             "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
             "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
             "value" : "100000",
             "data" : "",
             "gasPrice" : "1",
             "gas" : "364724"
         }
     },

    "CallRecursiveBomb3": {
         "env" : {
             "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
             "currentNumber" : "0",
             "currentGasLimit" : "10000000",
             "currentDifficulty" : "256",
             "currentTimestamp" : "1",
             "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
         },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x01",
                    "0x01" : "0x01"
                }
            }
        },
         "pre" : {
             "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                 "balance" : "20000000",
                 "nonce" : "0",
                 "code" : "{  [[ 0 ]] (+ (SLOAD 0) 1) [[ 1 ]] (CALL (- (GAS) 224) (ADDRESS) 0 0 0 0 0)  }",
                 "storage": {}
             }
         },
         "exec" : {
             "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
             "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
             "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
             "value" : "100000",
             "data" : "",
             "gasPrice" : "1",
             "gas" : "1000000"
         }
     },

    "suicide0": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "10000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "cd1722f3947def4cf144679da39c4c32bdc35681" : {
                "balance" : "100000000000000000000023"
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ (SELFDESTRUCT (CALLER))}",
                "storage": {}
            },
            "cd1722f3947def4cf144679da39c4c32bdc35681" : {
                "balance" : "23",
                "code" : "0x6000355415600957005b60203560003555",
                "nonce" : "0",
                "storage" : {
                }
            }

        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "100000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "1000"
        }
    },

    "suicideNotExistingAccount": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "10000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "aa1722f3947def4cf144679da39c4c32bdc35681" : {
                "balance" : "100000000000000000000000"
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ (SELFDESTRUCT 0xaa1722f3947def4cf144679da39c4c32bdc35681 )}",
                "storage": {}
            },
            "cd1722f3947def4cf144679da39c4c32bdc35681" : {
                "balance" : "23",
                "code" : "0x6000355415600957005b60203560003555",
                "nonce" : "0",
                "storage" : {
                }
            }

        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "100000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "1000"
        }
    },

    "suicideSendEtherToMe": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "10000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "cd1722f3947def4cf144679da39c4c32bdc35681" : {
                "balance" : "23"
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ (SELFDESTRUCT (ADDRESS) )}",
                "storage": {}
            },
            "cd1722f3947def4cf144679da39c4c32bdc35681" : {
                "balance" : "23",
                "code" : "0x6000355415600957005b60203560003555",
                "nonce" : "0",
                "storage" : {
                }
            }

        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "100000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "1000"
        }
    },

    "return0": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "10000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "cd1722f3947def4cf144679da39c4c32bdc35681" : {
                "storage" : {
 		     "0x" : "0x3700000000000000000000000000000000000000000000000000000000000000"
                }
            }
        },
        "pre" : {
           "cd1722f3947def4cf144679da39c4c32bdc35681" : {
                "balance" : "23",
                "code" : "{ (MSTORE8 0 55) [[0]](MLOAD 0) (RETURN 0 1)}",
                "nonce" : "0",
                "storage" : {
                }
            }

        },
        "exec" : {
            "address" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "origin" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "value" : "23",
            "data" : "0xaa",
            "gasPrice" : "100000000000000",
            "gas" : "100000"
        }
    },

    "return1": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "10000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "cd1722f3947def4cf144679da39c4c32bdc35681" : {
                "storage" : {
                    "0x" : "0x3700000000000000000000000000000000000000000000000000000000000000"
                }
            }
        },
        "pre" : {
           "cd1722f3947def4cf144679da39c4c32bdc35681" : {
                "balance" : "23",
                "code" : "{ (MSTORE8 0 55) [[0]](MLOAD 0) (RETURN 0 2)}",
                "nonce" : "0",
                "storage" : {
                }
            }

        },
        "exec" : {
            "address" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "origin" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "value" : "23",
            "data" : "0xaa",
            "gasPrice" : "100000000000000",
            "gas" : "100000"
        }
    },

    "return2": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "10000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "cd1722f3947def4cf144679da39c4c32bdc35681" : {
                "storage" : {
                    "0x" : "0x3700000000000000000000000000000000000000000000000000000000000000"
                }
            }
        },
        "pre" : {
           "cd1722f3947def4cf144679da39c4c32bdc35681" : {
                "balance" : "23",
                "code" : "{ (MSTORE8 0 55) [[0]](MLOAD 0) (RETURN 0 33)}",
                "nonce" : "0",
                "storage" : {
                }
            }

        },
        "exec" : {
            "address" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "origin" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "value" : "23",
            "data" : "0xaa",
            "gasPrice" : "100000000000000",
            "gas" : "100000"
        }
    },

    "PostToNameRegistrator0": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "10000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
	"expect" : {
	    "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
		"storage" : {
		    "0x00" : "1"
		}
	    }
	},
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ (MSTORE 0 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) (MSTORE 32 0xaaffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffaa ) [[0]](CALL 1000000 0x945304eb96065b2a98b57a48a06ae28d285a71b5 23 0 64 0 64) }",
                "storage": {}
            },
            "945304eb96065b2a98b57a48a06ae28d285a71b5" : {
                "balance" : "23",
                "code" : "0x6000355415600957005b60203560003555",
                "nonce" : "0",
                "storage" : {
                }
            }

        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "100000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000000000000"
        }
    },

    "callstatelessToNameRegistrator0": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "10000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x01"
                }
            },
            "945304eb96065b2a98b57a48a06ae28d285a71b5" : {
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ (MSTORE 0 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) (MSTORE 32 0xaaffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffaa ) [[ 0 ]] (CALL 1000000 0x945304eb96065b2a98b57a48a06ae28d285a71b5 23 0 64 64 0) }",
                "storage": {}
            },
            "945304eb96065b2a98b57a48a06ae28d285a71b5" : {
                "balance" : "23",
                "code" : "0x6000355415600957005b60203560003555",
                "nonce" : "0",
                "storage" : {
                }
            }

        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "100000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000000000000"
        }
    },

  "callcodeToNameRegistrator0": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "10000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x" : "0x01"
                }
            },
            "945304eb96065b2a98b57a48a06ae28d285a71b5" : {
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{ (MSTORE 0 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) (MSTORE 32 0xaaffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffaa ) [[ 0 ]] (CALLCODE 1000000 0x945304eb96065b2a98b57a48a06ae28d285a71b5 23 0 64 64 0) }",
                "storage": {}
            },
            "945304eb96065b2a98b57a48a06ae28d285a71b5" : {
                "balance" : "23",
                "code" : "0x6000355415600957005b60203560003555",
                "nonce" : "0",
                "storage" : {
                }
            }

        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "100000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000000000000"
        }
    },

    "TestNameRegistrator": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "1000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa" : "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "0x6000355415600957005b60203560003555",
                "storage": {}
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000",
            "data" : "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffafffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
            "gasPrice" : "100000000000000",
            "gas" : "100000"
        }
    },

    "ABAcalls0": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "10000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x23" : "0x01"
                }
            },
            "945304eb96065b2a98b57a48a06ae28d285a71b5" : {
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{  [[ (PC) ]] (CALL 1000 0x945304eb96065b2a98b57a48a06ae28d285a71b5 24 0 0 0 0) }",
                "storage": {}
            },
            "945304eb96065b2a98b57a48a06ae28d285a71b5" : {
                "balance" : "23",
                "code" : " { [[ (PC) ]] (ADD 1 (CALL 500 0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6 23 0 0 0 0)) } ",
                "nonce" : "0",
                "storage" : {
                }
            }

        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "100000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000000000000"
        }
    },

    "ABAcalls1": {
         "env" : {
             "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
             "currentNumber" : "0",
             "currentGasLimit" : "10000000",
             "currentDifficulty" : "256",
             "currentTimestamp" : "1",
             "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
         },
         "pre" : {
             "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                 "balance" : "100000000000000000000000",
                 "nonce" : "0",
                 "code" : "{  [[ (PC) ]] (CALL (- (GAS) 1000) 0x945304eb96065b2a98b57a48a06ae28d285a71b5 24 0 0 0 0) }",
                 "storage": {}
             },
             "945304eb96065b2a98b57a48a06ae28d285a71b5" : {
                 "balance" : "23",
                 "code" : " { [[ (PC) ]] (ADD 1 (CALL (- (GAS) 1000) 0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6 23 0 0 0 0)) } ",
                 "nonce" : "0",
                 "storage" : {
                 }
             }

         },
         "exec" : {
             "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
             "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
             "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
             "value" : "100000",
             "data" : "",
             "gasPrice" : "100000000000000",
             "gas" : "10000000000000"
         }
     },

    "ABAcalls2": {
         "env" : {
             "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
             "currentNumber" : "0",
             "currentGasLimit" : "10000000",
             "currentDifficulty" : "256",
             "currentTimestamp" : "1",
             "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
         },
         "pre" : {
             "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                 "balance" : "100000000000000000000000",
                 "nonce" : "0",
                 "code" : "{  [[ 0 ]] (ADD (SLOAD 0) 1) (CALL (- (GAS) 1000) 0x945304eb96065b2a98b57a48a06ae28d285a71b5 1 0 0 0 0) }",
                 "storage": {}
             },
             "945304eb96065b2a98b57a48a06ae28d285a71b5" : {
                 "balance" : "0",
                 "code" : " { [[ 0 ]] (ADD (SLOAD 0) 1) (CALL (- (GAS) 1000) 0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6 0 0 0 0 0) } ",
                 "nonce" : "0",
                 "storage" : {
                 }
             }

         },
         "exec" : {
             "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
             "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
             "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
             "value" : "100000",
             "data" : "",
             "gasPrice" : "100000000000000",
             "gas" : "10000000000000"
         }
     },

    "ABAcalls3": {
         "env" : {
             "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
             "currentNumber" : "0",
             "currentGasLimit" : "10000000",
             "currentDifficulty" : "256",
             "currentTimestamp" : "1",
             "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
         },
         "pre" : {
             "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                 "balance" : "1025000",
                 "nonce" : "0",
                 "code" : "{  [[ 0 ]] (ADD (SLOAD 0) 1) (CALL (- (GAS) 1000) 0x945304eb96065b2a98b57a48a06ae28d285a71b5 1 0 0 0 0) }",
                 "storage": {}
             },
             "945304eb96065b2a98b57a48a06ae28d285a71b5" : {
                 "balance" : "0",
                 "code" : " { [[ 0 ]] (ADD (SLOAD 0) 1) (CALL (- (GAS) 1000) 0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6 0 0 0 0 0) } ",
                 "nonce" : "0",
                 "storage" : {
                 }
             }

         },
         "exec" : {
             "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
             "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
             "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
             "value" : "100000",
             "data" : "",
             "gasPrice" : "100000000000000",
             "gas" : "1000000"
         }
     },

    "ABAcallsSuicide0": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "10000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "945304eb96065b2a98b57a48a06ae28d285a71b5" : {
                "balance" : "100000000000000000000023"
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{  [[ (PC) ]] (CALL 1000 0x945304eb96065b2a98b57a48a06ae28d285a71b5 24 0 0 0 0) (SELFDESTRUCT 0x945304eb96065b2a98b57a48a06ae28d285a71b5)  }",
                "storage": {}
            },
            "945304eb96065b2a98b57a48a06ae28d285a71b5" : {
                "balance" : "23",
                "code" : "{ [[ (PC) ]] (ADD 1 (CALL 500 0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6 23 0 0 0 0)) } ",
                "nonce" : "0",
                "storage" : {
                }
            }

        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "100000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000000000000"
        }
    },

    "ABAcallsSuicide1": {
        "env" : {
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
            "currentNumber" : "0",
            "currentGasLimit" : "10000000",
            "currentDifficulty" : "256",
            "currentTimestamp" : "1",
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x23" : "0x01"
                }
            },
            "945304eb96065b2a98b57a48a06ae28d285a71b5" : {
                "balance" : "23"
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "100000000000000000000000",
                "nonce" : "0",
                "code" : "{  [[ (PC) ]] (CALL 1000 0x945304eb96065b2a98b57a48a06ae28d285a71b5 24 0 0 0 0)   }",
                "storage": {}
            },
            "945304eb96065b2a98b57a48a06ae28d285a71b5" : {
                "balance" : "23",
                "code" : "{ [[ (PC) ]] (ADD 1 (CALL 500 0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6 23 0 0 0 0)) (SELFDESTRUCT 0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6) } ",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "100000",
            "data" : "",
            "gasPrice" : "100000000000000",
            "gas" : "10000000000000"
        }
    }
}