[
  "����(�I\b��W]eӦT",
  [
    [
      "Vale.X64.Taint_Semantics.mk_ins",
      1,
      1,
      0,
      [ "@query" ],
      0,
      "513936d2228e4c6d793091f8cfc6579e"
    ],
    [
      "Vale.X64.Taint_Semantics.mk_ins",
      2,
      1,
      0,
      [ "@query" ],
      0,
      "83e11ec6a05f17f5202b36c9c43a0f2b"
    ]
  ]
]