int igetup; clock ddd2; const delta2 1 ; clock zup; clock uuu1; clock ddd1; const delta1 1 ; clock z; clock y; clock x; int doublezero; int r; int p; int m; int leng; int c; int i; broadcast chan down; chan finalZero; chan up; chan outlast_is_1; chan inlast_is_1; chan outlast_is_0; chan inlast_is_0; chan getup; chan notReady_getup; chan ready_getup; system multAsapWatchergetup, GWlast_is_0getup, GWlast_is_1getup, EWup, checkOutput, receiver, sender, random;