)]}'
{
  "id": "4bec2597626b4656fd82b01fe32e4e7eb1613dec",
  "repo": "linux",
  "revision": "refs/heads/topic/cbmc",
  "path": "arch/x86/entry/calling.h"
}