{
  "x": {
    "data": [[1, 2, 3, 4]],
    "format": {
      "numeric_type": "bitnum",
      "is_signed": true,
      "width": 32
    }
  },
  "x1": {
    "data": [[0, 0, 0, 0]],
    "format": {
      "numeric_type": "bitnum",
      "is_signed": true,
      "width": 32
    }
  }
}