)]}'
{
  "id": "8c9c2f81a58055cdba5eeea5c502ef24d9416a69",
  "repo": "third_party/kernel",
  "revision": "c79ff94de84a87731644978e739656ed62f75ada",
  "path": "tools/memory-model/litmus-tests/S+poonceonces.litmus"
}