[
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      0,
      0
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_supply_ASSERTION_SUPPLY_DOS",
        "args": [
          {
            "Uint": [
              "0x848ca0cf74673cee7d8cd9bafbd1ac43e092f27cd9264b92af4729067fbcbcdd",
              256
            ]
          },
          {
            "Uint": [
              "0x27d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      0,
      0
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_setUsingAsCollateral",
        "args": [
          {
            "Uint": [
              "0x397",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      0,
      0
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_supply_ASSERTION_SUPPLY_DOS",
        "args": [
          {
            "Uint": [
              "0x2ac",
              256
            ]
          },
          {
            "Uint": [
              "0xca45e4c4896f86635af582a229b7eae407003bc4568be9526a61f6df4018df63",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      0,
      0
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iAaveOracle_setPrice",
        "args": [
          {
            "Uint": [
              "0xcf517cfc7b9f399595810511a836a7973b2cd225df3420b6333a957cd0678ed0",
              256
            ]
          },
          {
            "Uint": [
              "0x2413bdbb2a0961bb250106032ea38b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      0,
      0
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_supply_ASSERTION_SUPPLY_DOS",
        "args": [
          {
            "Uint": [
              "0xd98f9427c10a89d4b6fbda70a5676a6cb540dec069f3dbe8553b429dc8874eeb",
              256
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      0,
      0
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "iSpoke_borrow",
        "args": [
          {
            "Uint": [
              "0x932bab1f7271c515b975fb7aa9d79fd45870664d738bd960ac653542d80374c",
              256
            ]
          },
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      0,
      0
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalBorrowedLessThanSupplied_v0",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1,
      0
    ]
  }
]