)]}'
{
  "id": "41430128d120ff9efb3e61b985bc94bf7fdd06a6",
  "repo": "linux",
  "revision": "refs/heads/topic/cbmc",
  "path": "kernel/power/energy_model.c"
}