/lisc/test/
../
alt.ssa
collatz.ssa
cup.ssa
eucl.ssa
fix1.ssa
fix2.ssa
live.ssa
loop.ssa
max.ssa
rpo.ssa
spill.ssa
spill1.ssa
spill2.ssa