/tests/iii/extern-pseudocode-type/

• ../
• case.json
• notes.md
• program.cps