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