{
  "resources": [
    {
      "name": "a"
    },
    {
      "name": "b"
    },
    {
      "name": "c"
    },
    {
      "name": "d"
    },
    {
      "name": "e"
    },
    {
      "name": "f"
    }
  ],
  "types": [
    {
      "idx": 0,
      "primitive": "handle-0"
    },
    {
      "idx": 1,
      "primitive": "handle-1"
    },
    {
      "idx": 2,
      "primitive": "handle-2"
    },
    {
      "idx": 3,
      "primitive": "handle-3"
    },
    {
      "idx": 4,
      "primitive": "handle-4"
    },
    {
      "idx": 5,
      "primitive": "handle-5"
    }
  ],
  "functions": [
    {
      "name": "e::x",
      "params": [
        "handle-4"
      ],
      "result": "unit"
    },
    {
      "name": "f::x",
      "params": [
        "handle-5"
      ],
      "result": "unit"
    },
    {
      "name": "f::y",
      "params": [
        "handle-5"
      ],
      "result": "unit"
    }
  ]
}