{
    "mem0": {
      "data": [
        [12,0,0,0],
        [10,0,0,0],
        [20,0,0,0],
        [34,0,0,0]
      ],
      "format": {
        "numeric_type": "bitnum",
        "is_signed": true,
        "width": 32
      }
    },
    "mem1": {
      "data": [
        [16,0,0,0],
        [32,0,0,0],
        [8,0,0,0],
        [24,0,0,0]
      ],
      "format": {
        "numeric_type": "bitnum",
        "is_signed": true,
        "width": 32
      }
    }
  }