---
jumpiNonConst:
  env:
    currentCoinbase: 2adc25665018aa1fe0e6bc666dac8fc2697ff9ba
    currentDifficulty: '0x20000'
    currentGasLimit: '1000000'
    currentNumber: '1'
    currentTimestamp: '1000'
    previousHash: 5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6
  expect:
  - indexes:
      data: !!int -1
      gas: !!int -1
      value: !!int 0
    network:
    - '>=Byzantium'
    result:
      095e7baea6a6c7c4c2dfeb977efac326af552d87:
        storage:
          0x01: '0x00'
  - indexes:
      data: !!int -1
      gas: !!int -1
      value: !!int 1
    network:
    - '>=Byzantium'
    result:
      095e7baea6a6c7c4c2dfeb977efac326af552d87:
        storage:
          0x01: '0x00'
  pre:
    095e7baea6a6c7c4c2dfeb977efac326af552d87:
      balance: ''
      code: '{ (JUMPI (BALANCE 0x095e7baea6a6c7c4c2dfeb977efac326af552d87) (BALANCE 0x095e7baea6a6c7c4c2dfeb977efac326af552d87)) }'
      nonce: '0'
      storage: {}
    a94f5374fce5edbc8e2a8697c15331677e6ebf0b:
      balance: '1000000000000000000'
      code: '0x'
      nonce: '0'
      storage: {}
  transaction:
    data:
    - ''
    gasLimit:
    - '400000'
    gasPrice: '1'
    nonce: '0'
    secretKey: 45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8
    to: 095e7baea6a6c7c4c2dfeb977efac326af552d87
    value:
    - '0'
    - '1'