{
  "t0": {
    "data": [
      30,
      40,
      50
    ],
    "format": {
      "numeric_type": "bitnum",
      "is_signed": false,
      "width": 32
    }
  },
  "l0": {
    "data": [
      4,
      6,
      8
    ],
    "format": {
      "numeric_type": "bitnum",
      "is_signed": false,
      "width": 32
    }
  },
  "out_mem": {
    "data": [
      [
        0
      ]
    ],
    "format": {
      "numeric_type": "bitnum",
      "is_signed": false,
      "width": 32
    }
  }
}