echo "-----------"
echo "files PASS2"
echo "-----------"
echo "1 build_symtab"
echo "2 add_id"
echo "3 process_id"
echo "4 restore"
echo "5 retrieve"
echo "-----------"
echo "110 TEST init"
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 pass2/build_symtab.c pass2/build_symtab.icn ;;
2) emacs pass2/add_id.c pass2/add_id.icn ;;
3) emacs pass2/process_id.c pass2/process_id.icn ;;
4) emacs pass2/restore.c pass2/restore.icn ;;
5) emacs pass2/retrieve.c pass2/retrieve.icn ;;

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

esac
echo "-----------"
echo "files"
echo "-----------"
echo "1 build_symtab"
echo "2 add_id"
echo "3 process_id"
echo "4 restore"
echo "5 retrieve"
echo "-----------"

echo "110 TEST init"
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
