)]}'
{
  "id": "066323e4d6577d03b00f9c7141ec39d051eadded",
  "repo": "3p/cheriot-rtos",
  "revision": "91d0801944ba018726a3d1e157e7ed6204955684",
  "path": "benchmarks/timing.h"
}