echo "-----------"
echo "files PASS3"
echo "-----------"
echo "1 number"
echo "2 reorder"
echo "3 sigids"
echo "4 sigids_dflt.inc"
echo "5 sigids_opr_let.inc"
echo "6 sigids_str.inc"
echo "7 gden_order"
echo "8 tsig_order"
echo "9 fixup"
echo "-----------"
echo "111 TEST fact"
echo "112 TEST misc"
echo "113 TEST simp0001"
echo "114 TEST simp0002"
echo "123 TEST simp0011"
echo "124 TEST simp0012"
echo "125 TEST simp0013"
echo "777 dbg"
echo "888 NOTES.txt"

echo "999 quit"
echo "select"
read select
while [ $select -ne 999 ]
do 
case $select in
1) emacs pass3/number.c pass3/number.icn;;
2) emacs pass3/reorder.c pass3/reorder.icn;;
3) emacs pass3/sigids.c pass3/sigids.icn;;
4) emacs pass3/sigids.c pass3/sigids_dflt.inc.icn;;
5) emacs pass3/sigids.c pass3/sigids_opr_let.inc.icn;;
6) emacs pass3/sigids.c pass3/sigids_str.inc.icn;;
7) emacs pass3/gden_order.c pass3/gden_order.icn;;
8) emacs pass3/tsig_order.c pass3/tsig_order.icn;;
9) emacs pass3/fixup.c pass3/fixup.icn;;

111) ./testfact;;
112) ./testmisc;;
113) ./testsimp0001;;
114) ./testsimp0002;;
123) ./testsimp0011;;
124) ./testsimp0012;;
125) ./testsimp0013;;
777) ./ttdbg;;
888) emacs NOTES.txt ;;

esac
echo "-----------"
echo "files PASS3"
echo "-----------"
echo "1 number"
echo "2 reorder"
echo "3 sigids"
echo "4 sigids_dflt.inc"
echo "5 sigids_opr_let.inc"
echo "6 sigids_str.inc"
echo "7 gden_order"
echo "8 tsig_order"
echo "9 fixup"
echo "-----------"

echo "111 TEST fact"
echo "112 TEST misc"
echo "113 TEST simp0001"
echo "114 TEST simp0002"
echo "123 TEST simp0011"
echo "124 TEST simp0012"
echo "125 TEST simp0013"
echo "777 dbg"
echo "888 NOTES.txt"

echo "999 quit"
echo "select"
read select
done
