const ctime 75;
int[0,1] active;
clock x, time;
chan eject, ok;
urgent chan blck, red, remove, go;TaskMAINS0TaskPUSHpassivewaitPistonclock y;s2s1DumbS0BlackBoxclock pos;on2endon1sensoroffpistonstartRedBoxclock pos;on2endon1sensoroffpistonstartGuardclock z;S0B1:=BlackBox();
B2:=BlackBox();
R1:=RedBox();
R2:=RedBox();system
TaskMAIN, TaskPUSH,
Piston,
B1, B2,
R1, R2, Dumb, Guard;