{
  "sources": [
    "program.cps",
    "operators.cps",
    "types.cps"
  ]
}