//Insert declarations of global clocks, variables, constants and channels.
chan disableControl, enableControl, clearSpeed, recordSpeed, incr, decr, getspeed, inc0, inc1, inc2;
const int maxacc = 2;
const int maxspeed = 3;
const int maxdiff = 2;
SpeedControlOrgint[0,maxacc] acc;
int[0,maxspeed] dSpeed, cSpeed;disabledenabledadjustEnvSCSmallNoDrag//Insert process assignments.
//Edit system definition.
system SpeedControlOrg, EnvSCSmallNoDrag;