{
  "limits": "Rust first-offender mode11 guard over45 original source fixtures. Safe configured count<=slice length<=64; no raw invalid-pointer ABI or transition/native side-effect claim.",
  "probes": [
    {
      "input": {
        "clients": [
          {
            "3096": 0,
            "468": 0,
            "696": -1
          }
        ],
        "max_clients": 1,
        "mode": 11
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [
          {
            "3096": 0,
            "468": 0,
            "696": 20
          }
        ],
        "max_clients": 1,
        "mode": 11
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [
          {
            "3096": 0,
            "468": 0,
            "696": 21
          }
        ],
        "max_clients": 1,
        "mode": 11
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [
          {
            "3096": 0,
            "468": 0,
            "696": 2147483647
          }
        ],
        "max_clients": 1,
        "mode": 11
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [
          {
            "3096": 1,
            "468": 0,
            "696": -1
          }
        ],
        "max_clients": 1,
        "mode": 11
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [
          {
            "3096": 1,
            "468": 0,
            "696": 20
          }
        ],
        "max_clients": 1,
        "mode": 11
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [
          {
            "3096": 1,
            "468": 0,
            "696": 21
          }
        ],
        "max_clients": 1,
        "mode": 11
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [
          {
            "3096": 1,
            "468": 0,
            "696": 2147483647
          }
        ],
        "max_clients": 1,
        "mode": 11
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [
          {
            "3096": 3,
            "468": 0,
            "696": -1
          }
        ],
        "max_clients": 1,
        "mode": 11
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [
          {
            "3096": 3,
            "468": 0,
            "696": 20
          }
        ],
        "max_clients": 1,
        "mode": 11
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [
          {
            "3096": 3,
            "468": 0,
            "696": 21
          }
        ],
        "max_clients": 1,
        "mode": 11
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [
          {
            "3096": 3,
            "468": 0,
            "696": 2147483647
          }
        ],
        "max_clients": 1,
        "mode": 11
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [
          {
            "3096": 0,
            "468": 1,
            "696": -1
          }
        ],
        "max_clients": 1,
        "mode": 11
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [
          {
            "3096": 0,
            "468": 1,
            "696": 20
          }
        ],
        "max_clients": 1,
        "mode": 11
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [
          {
            "3096": 0,
            "468": 1,
            "696": 21
          }
        ],
        "max_clients": 1,
        "mode": 11
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [
          {
            "3096": 0,
            "468": 1,
            "696": 2147483647
          }
        ],
        "max_clients": 1,
        "mode": 11
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [
          {
            "3096": 1,
            "468": 1,
            "696": -1
          }
        ],
        "max_clients": 1,
        "mode": 11
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [
          {
            "3096": 1,
            "468": 1,
            "696": 20
          }
        ],
        "max_clients": 1,
        "mode": 11
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [
          {
            "3096": 1,
            "468": 1,
            "696": 21
          }
        ],
        "max_clients": 1,
        "mode": 11
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [
          {
            "3096": 1,
            "468": 1,
            "696": 2147483647
          }
        ],
        "max_clients": 1,
        "mode": 11
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [
          {
            "3096": 3,
            "468": 1,
            "696": -1
          }
        ],
        "max_clients": 1,
        "mode": 11
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [
          {
            "3096": 3,
            "468": 1,
            "696": 20
          }
        ],
        "max_clients": 1,
        "mode": 11
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [
          {
            "3096": 3,
            "468": 1,
            "696": 21
          }
        ],
        "max_clients": 1,
        "mode": 11
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [
          {
            "3096": 3,
            "468": 1,
            "696": 2147483647
          }
        ],
        "max_clients": 1,
        "mode": 11
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [
          {
            "3096": 0,
            "468": 2,
            "696": -1
          }
        ],
        "max_clients": 1,
        "mode": 11
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [
          {
            "3096": 0,
            "468": 2,
            "696": 20
          }
        ],
        "max_clients": 1,
        "mode": 11
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [
          {
            "3096": 0,
            "468": 2,
            "696": 21
          }
        ],
        "max_clients": 1,
        "mode": 11
      },
      "rust": {
        "offender": 0
      },
      "source": {
        "offender": 0
      },
      "source_calls": [
        {
          "arguments": {
            "8": 34641
          },
          "target": 7367
        },
        {
          "arguments": {
            "12": 16,
            "16": 0,
            "20": 2067792376,
            "8": 34618
          },
          "target": 70458
        },
        {
          "arguments": {
            "12": 2073042944,
            "8": -1
          },
          "target": -18
        }
      ]
    },
    {
      "input": {
        "clients": [
          {
            "3096": 0,
            "468": 2,
            "696": 2147483647
          }
        ],
        "max_clients": 1,
        "mode": 11
      },
      "rust": {
        "offender": 0
      },
      "source": {
        "offender": 0
      },
      "source_calls": [
        {
          "arguments": {
            "8": 34641
          },
          "target": 7367
        },
        {
          "arguments": {
            "12": 16,
            "16": 0,
            "20": 2067792376,
            "8": 34618
          },
          "target": 70458
        },
        {
          "arguments": {
            "12": 2073042944,
            "8": -1
          },
          "target": -18
        }
      ]
    },
    {
      "input": {
        "clients": [
          {
            "3096": 1,
            "468": 2,
            "696": -1
          }
        ],
        "max_clients": 1,
        "mode": 11
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [
          {
            "3096": 1,
            "468": 2,
            "696": 20
          }
        ],
        "max_clients": 1,
        "mode": 11
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [
          {
            "3096": 1,
            "468": 2,
            "696": 21
          }
        ],
        "max_clients": 1,
        "mode": 11
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [
          {
            "3096": 1,
            "468": 2,
            "696": 2147483647
          }
        ],
        "max_clients": 1,
        "mode": 11
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [
          {
            "3096": 3,
            "468": 2,
            "696": -1
          }
        ],
        "max_clients": 1,
        "mode": 11
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [
          {
            "3096": 3,
            "468": 2,
            "696": 20
          }
        ],
        "max_clients": 1,
        "mode": 11
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [
          {
            "3096": 3,
            "468": 2,
            "696": 21
          }
        ],
        "max_clients": 1,
        "mode": 11
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [
          {
            "3096": 3,
            "468": 2,
            "696": 2147483647
          }
        ],
        "max_clients": 1,
        "mode": 11
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [
          {
            "3096": 0,
            "468": 2,
            "696": 21
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          }
        ],
        "max_clients": 4,
        "mode": 11
      },
      "rust": {
        "offender": 0
      },
      "source": {
        "offender": 0
      },
      "source_calls": [
        {
          "arguments": {
            "8": 34641
          },
          "target": 7367
        },
        {
          "arguments": {
            "12": 16,
            "16": 0,
            "20": 2067792376,
            "8": 34618
          },
          "target": 70458
        },
        {
          "arguments": {
            "12": 2073042944,
            "8": -1
          },
          "target": -18
        }
      ]
    },
    {
      "input": {
        "clients": [
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 21
          }
        ],
        "max_clients": 4,
        "mode": 11
      },
      "rust": {
        "offender": 3
      },
      "source": {
        "offender": 3
      },
      "source_calls": [
        {
          "arguments": {
            "8": 34641
          },
          "target": 7367
        },
        {
          "arguments": {
            "12": 16,
            "16": 0,
            "20": 2067811384,
            "8": 34618
          },
          "target": 70458
        },
        {
          "arguments": {
            "12": 2073042944,
            "8": -1
          },
          "target": -18
        }
      ]
    },
    {
      "input": {
        "clients": [
          {
            "3096": 0,
            "468": 2,
            "696": 21
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          }
        ],
        "max_clients": 64,
        "mode": 11
      },
      "rust": {
        "offender": 0
      },
      "source": {
        "offender": 0
      },
      "source_calls": [
        {
          "arguments": {
            "8": 34641
          },
          "target": 7367
        },
        {
          "arguments": {
            "12": 16,
            "16": 0,
            "20": 2067792376,
            "8": 34618
          },
          "target": 70458
        },
        {
          "arguments": {
            "12": 2073042944,
            "8": -1
          },
          "target": -18
        }
      ]
    },
    {
      "input": {
        "clients": [
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 21
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          },
          {
            "3096": 0,
            "468": 2,
            "696": 20
          }
        ],
        "max_clients": 64,
        "mode": 11
      },
      "rust": {
        "offender": 3
      },
      "source": {
        "offender": 3
      },
      "source_calls": [
        {
          "arguments": {
            "8": 34641
          },
          "target": 7367
        },
        {
          "arguments": {
            "12": 16,
            "16": 0,
            "20": 2067811384,
            "8": 34618
          },
          "target": 70458
        },
        {
          "arguments": {
            "12": 2073042944,
            "8": -1
          },
          "target": -18
        }
      ]
    },
    {
      "input": {
        "clients": [],
        "max_clients": 0,
        "mode": 0
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [],
        "max_clients": 0,
        "mode": 9
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [],
        "max_clients": 0,
        "mode": 11
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [
          {
            "3096": 0,
            "468": 2,
            "696": 21
          },
          {
            "3096": 0,
            "468": 2,
            "696": 21
          },
          {
            "3096": 0,
            "468": 2,
            "696": 21
          },
          {
            "3096": 0,
            "468": 2,
            "696": 21
          }
        ],
        "max_clients": 0,
        "mode": 11
      },
      "rust": {
        "offender": -1
      },
      "source": {
        "offender": -1
      },
      "source_calls": []
    },
    {
      "input": {
        "clients": [
          {
            "3096": 0,
            "468": 2,
            "696": 21
          },
          {
            "3096": 0,
            "468": 2,
            "696": 21
          },
          {
            "3096": 0,
            "468": 2,
            "696": 21
          },
          {
            "3096": 0,
            "468": 2,
            "696": 21
          }
        ],
        "max_clients": 2,
        "mode": 11
      },
      "rust": {
        "offender": 0
      },
      "source": {
        "offender": 0
      },
      "source_calls": [
        {
          "arguments": {
            "8": 34641
          },
          "target": 7367
        },
        {
          "arguments": {
            "12": 16,
            "16": 0,
            "20": 2067792376,
            "8": 34618
          },
          "target": 70458
        },
        {
          "arguments": {
            "12": 2073042944,
            "8": -1
          },
          "target": -18
        }
      ]
    }
  ],
  "source_report": "docs/research/qvm-exit-class.json",
  "source_report_sha256": "f8bba4248e4f44ea6ab4d98b2225d4661d4d609df768d81e1d81892b4fc358de"
}