{
  "sources": [
    "program.cps",
    "lib.cps"
  ],
  "errors": [
    {
      "reason": "INCLUDE is only allowed at top level",
      "line": 2,
      "file": "lib.cps"
    }
  ]
}