texas.bg

{
  "name": "global_state",
  "base": "",
  "fields": [
    {
      "name": "key",
      "type": "uint64"
    },
    {
      "name": "value",
      "type": "int32"
    }
  ]
}