/src/testsuite/interpreter/
../
1852076.input
case.input
case.spad