)]}'
{
  "id": "fdbcd07c6859e4d7f1581fdd240a511a2f5a8880",
  "repo": "efm/org.eclipse.efm-symbex",
  "revision": "ba0bfc68aaeb6119999e96773d3c7b89ddc4bcbb",
  "path": "org.eclipse.efm.symbex/src/fml/executable/InstanceOfBuffer.cpp"
}