{
  "sources": [
    "program.cps",
    "integer.cps",
    "real.cps"
  ]
}