{
  "a": {
    "format": {
      "numeric_type": "bitnum",
      "is_signed": true,
      "width": 32
    },
    "data":  [
               894, 33, 65, 187, 851, 220, 337, 608,
               517, 321, 497, 796, 501, 935, 35, 226
             ],
    "__expected__": [
                      7371, 14457, 15467, 7869, 11643, 6666, 13801, 5436,
                      931, 10888, 14426, 1518, 10965, 6436, 5538, 8900
                    ]
  },
  "phis": {
    "format": {
      "numeric_type": "bitnum",
      "is_signed": true,
      "width": 32
    },
    "data":   [
                1, 645, 6889, 4873, 83, 5532, 4249, 4434,
                988, 13221, 5907, 14224, 1999, 6726, 5750, 12519
              ]
  }
}