original=testfile12 stripped=testfile35 debugfile=testfile35.debug . $srcdir/run-strip-test.sh