// Place global declarations here.
chan get_hammer, put_hammer, get_mallet, put_mallet;
chan jobE, jobA, jobH;
clock now;Jobber// Place local declarations here.
clock x;work_hardwork_av_hammerwork_av_malletwork_easyhardeasyaveragebeginMallettakenfreeHammertakenfreeBeltendstart// Place template instantiations here.
Jobber1 = Jobber();
Jobber2 = Jobber();
// List one or more processes to be composed into a system.
system Belt, Jobber1, Jobber2, Hammer, Mallet;