1original=testfile12
2stripped=testfile35
3debugfile=testfile35.debug
4
5. $srcdir/run-strip-test.sh
6