// Place global declarations here.
chan get_hammer, put_hammer, get_mallet, put_mallet;Jobber// Place local declarations here.
work_hardwork_av_hammerwork_av_malletwork_easyhardeasyaveragebeginMallettakenfreeHammertakenfree// Place template instantiations here.
Jobber1 = Jobber();
Jobber2 = Jobber();
// List one or more processes to be composed into a system.
system Jobber1, Jobber2, Hammer, Mallet;