{
  "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
    }
  }
}