[
  {
    "info": 6,
    "type": "i32"
  }
]