const int 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;