{
  "types": [
    {
      "idx": 0,
      "name": "a",
      "record": {
        "fields": []
      }
    },
    {
      "idx": 1,
      "tuple": {
        "types": []
      }
    },
    {
      "idx": 2,
      "tuple": {
        "types": [
          "u32",
          "type-0"
        ]
      }
    }
  ],
  "globals": [
    {
      "name": "a",
      "ty": "s32"
    },
    {
      "name": "b",
      "ty": "type-1"
    },
    {
      "name": "c",
      "ty": "type-2"
    }
  ]
}