{
  "sources": [
    "program.cps",
    "lib.cps"
  ],
  "errors": [
    {
      "reason": "cannot INCLUDE 'missing.cps': not given on the command line",
      "line": 1,
      "file": "program.cps"
    }
  ]
}