)]}'
{
  "id": "4a382fb6a9ef88b4e2a7cc3efe2464837d3ec1c6",
  "repo": "linux",
  "revision": "refs/heads/topic/cbmc",
  "path": "arch/x86/include/asm/entry-common.h"
}