// Place global declarations here.
const int MAXP=4;
chan forkup[MAXP], forkdown[MAXP];
forksint[0,MAXP-1] i// Place local declarations here.
updownphilsint[0,MAXP-1] poseatthink// Place template instantiations here.
// List one or more processes to be composed into a system.
system phils, forks;