// Place global declarations here.
chan fork[5];
Philochan& left, chan& right// Place local declarations here.
EatFullHungerThinkInit// Place local declarations here.
int[0,5] i;// Place template instantiations here.
P0 = Philo(fork[0], fork[1]);
P1 = Philo(fork[1], fork[2]);
P2 = Philo(fork[2], fork[3]);
P3 = Philo(fork[3], fork[4]);
P4 = Philo(fork[4], fork[0]);
// List one or more processes to be composed into a system.
system Init, P0, P1, P2, P3, P4;