chan take , release;
int L ;
clock time;
const fastest 5;
const fast 10;
const slow 20;
const slowest 25;Soldier const delayclock y;overreadysafeu_overu_readyunsafeTorchfree1free2onetwoViking1 := Soldier( fastest );
Viking2 := Soldier( fast );
Viking3 := Soldier( slow );
Viking4 := Soldier( slowest );system Viking1, Viking2, Viking3, Viking4, Torch;