//Insert declarations of global clocks, variables, constants and channels.
clock x, y, time;
int[0,1] flag;
int count;
const int l1 = 4;
const int l2 = 5;
const int l = 18;
Main//Insert local declarations of clocks, variables and constants.
mainfinalInt//Insert process assignments.
//Edit system definition.
system Main, Int;