// Place global declarations here.
urgent chan get_hammer, get_mallet;
chan put_hammer, put_mallet;
urgent chan jobE, jobA, jobH;
clock now;Jobber// Place local declarations here.
clock x;work_hardwork_av_hammerwork_av_malletwork_easyhardeasyaveragebeginToolurgent chan &get, chan &puttakenfreeBeltconst int E=0;
const int A=1;
const int H=2;
const int J=10;
const int[0,2] jobs[J] = {H,A,H,H,H,E,E,A,A,A};
int[0,J] i;// Place template instantiations here.
Jobber1 = Jobber();
Jobber2 = Jobber();
Hammer = Tool(get_hammer,put_hammer);
Mallet = Tool(get_mallet,put_mallet);
// List one or more processes to be composed into a system.
system Belt, Jobber1, Jobber2, Hammer, Mallet;