{
  "ExtCodeCopyTargetRangeLongerThanCodeTests": {
    "_info" : {
      "comment": "Uses EXTCODECOPY to copy 32 bytes of code into a 64 byte range of memory and ensures that the last 32 bytes of the memory range are zeroed out"
    },
    "env": {
      "currentCoinbase": "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
      "currentDifficulty": "0x020000",
      "currentGasLimit": "0x7fffffffffffffff",
      "currentNumber": "2675000",
      "currentTimestamp": "1000",
      "previousHash": "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
    },
    "expect": [
      {
        "indexes": {
          "data": -1,
          "gas": -1,
          "value": -1
        },
        "network": [
          ">=Frontier"
        ],
        "result": {
          "aaaf5374fce5edbc8e2a8697c15331677e6ebf0b": {
            "storage": {
              "0x00": "0x1122334455667788991011121314151617181920212223242526272829303132",
              "0x01": "0x00",
              "0x02": "0x00",
              "0x03": "0x00"
            }
          }
        }
      }
    ],
    "pre": {
      "a94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
        "balance": "0xffffffffffffffffffffffffffffffff",
        "code": "",
        "nonce": "0",
        "storage": {
        }
      },
      "aaaf5374fce5edbc8e2a8697c15331677e6ebf0b": {
        "balance": "7000",
        "code": "{ (MSTORE 32 0x1234) (EXTCODECOPY 0xeeef5374fce5edbc8e2a8697c15331677e6ebf0b 0 0 64) [[0]] (MLOAD 0) [[1]] (MLOAD 32) (MSTORE 96 0x5678) (EXTCODECOPY 0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b 64 0 64) [[2]] (MLOAD 64) [[3]] (MLOAD 96)}",
        "nonce": "0",
        "storage": {
        }
      },
      "eeef5374fce5edbc8e2a8697c15331677e6ebf0b": {
        "balance": "0",
        "code": "0x1122334455667788991011121314151617181920212223242526272829303132",
        "nonce": "1",
        "storage": {
        }
      }
    },
    "transaction": {
      "data": [
        ""
      ],
      "gasLimit": [
        "400000"
      ],
      "gasPrice": "1",
      "nonce": "0",
      "secretKey": "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
      "to": "aaaf5374fce5edbc8e2a8697c15331677e6ebf0b",
      "value": [
        "0"
      ]
    }
  }
}