[
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeTwice",
        "args": [
          {
            "Uint": [
              "0xa",
              8
            ]
          },
          {
            "Uint": [
              "0xed",
              8
            ]
          },
          {
            "Uint": [
              "0xbc2a751b10a20b22d31b28eee69ef5703b23d28ac1901e920d4d23c7ad908eb7",
              256
            ]
          },
          {
            "FixedBytes": [
              "0xbc5e9f7e2649ecfff287f0d91e1f81b207e11c975223ea2e4b9b0d9f25e83f22",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42744,
      37108
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13136,
      37050
    ]
  }
]