/tests/iii/multifile-invalid-main/

• ../
• case.json
• lib.cps
• program.cps