original=testfile12
stripped=testfile17
debugfile=testfile17.debug

. $srcdir/run-strip-test.sh