#  gmt  Tue Aug 16 14:52:00 MST 1988
0 sr -c dining.sr
0 srl Servant Philosopher Main
1 run
0 rm -rf Interfaces core *.out *.[chos]
