const int init_n = 1;
const int BE = 1;
int[0,3] dst;
broadcast chan tx;
broadcast chan rx[4];
int[0,3] tp = 0;
urgent broadcast chan s;
urgent chan a;
const int mx_loss = 2;
int[0,mx_loss] lost;
const int max_r = 1;
int[0,max_r] r = 0;NODEconst int MEclock t;
int ac = 0;
int txT;INETABORTnode0 = NODE(0);
node1 = NODE(1);
node2 = NODE(2);
node3 = NODE(3);system
node0,
node1,
node2,
node3,
NET,
ABORT;