if [ $# != 1 ]
then
	echo Usage: repairbug file.e
	exit
fi
set -x
ar vr esrc_pr.a $1
mv $1 t.c
cc -P t.c
rm t.c
mv t.i $1
pc -L $1
ar vr /user3/pas/lib/em1_pr.a *.l
rm *.l $1
