/tests/examplefiles/koka/

• ../
• garcia-wachs.kk
• garcia-wachs.kk.output