)]}'
{
  "id": "dc47af2ef282d77bfec72f10eaaa17f2e3c5b8d5",
  "repo": "crubit",
  "revision": "7585273d27e027a5d953a3d91372639db65ee364",
  "path": "nullability_verification/pointer_nullability.h"
}