{
  "sources": [
    "program.cps",
    "regions.cps"
  ]
}