../inputs/uslin.1078
../inputs/uslin.1226
< test343
../inputs/uslin.1969
< test359
< ts778
< newtst444.tst
../inputs/jk38
< newtst451.tst
< tst45
../inputs/garbage/nothing
< tst227
