{
  "sources": [
    "program.cps",
    "middle.cps",
    "leaf.cps"
  ]
}