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