.k seed/a
echo "bugify vspl.b to bugvspl.b -s <seed>"
bugify vspl.b to bugvspl.b -s <seed>
echo "*nDifferences between vspl.b and bugvaspl,b*n"
shellcom "diff vspl.b bugvspl.b"
delete bugvspl
echo "Compiling bugvspl"
bcpl bugvspl.b to bugvspl
echo "Running bugvspl"
bugvspl ../vcmpltest.vs
quit
