// Place global declarations here.
chan pickup[5];
chan laydown[5];
Philochan& pickup_left, chan& laydown_left, chan& pickup_right, chan& laydown_right// Place local declarations here.
EatFullHungerThinkForkchan& pickup, chan& laydownIn_useOn_the_table// Place template instantiations here.
P0 = Philo(pickup[0], laydown[0], pickup[1], laydown[1]);
P1 = Philo(pickup[1], laydown[1], pickup[2], laydown[2]);
P2 = Philo(pickup[2], laydown[2], pickup[3], laydown[3]);
P3 = Philo(pickup[3], laydown[3], pickup[4], laydown[4]);
P4 = Philo(pickup[4], laydown[4], pickup[0], laydown[0]);
F0 = Fork(pickup[0], laydown[0]);
F1 = Fork(pickup[1], laydown[1]);
F2 = Fork(pickup[2], laydown[2]);
F3 = Fork(pickup[3], laydown[3]);
F4 = Fork(pickup[4], laydown[4]);
// List one or more processes to be composed into a system.
system F0, F1, F2, F3, F4, P0, P1, P2, P3, P4;