{
  "x": {
    "data": [4, 9, 16, 25],
    "format": {
      "numeric_type": "bitnum",
      "is_signed": true,
      "width": 32
    }
  },
  "x1": {
    "data": [0, 0, 0, 0],
    "format": {
      "numeric_type": "bitnum",
      "is_signed": true,
      "width": 32
    }
  }
}