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