#define BranchSize	8	/* 1, 2, 4, 8 */
#define StateSize	200	/* 10, 100, 200, ... */
#define TransTime	13	/* 9 = 2.7 usec, 10 = 5.4 usec, etc */	
#define NStates		500000

int count;
byte filler[StateSize];

active [BranchSize] proctype test()
{
end:	do
	:: d_step {
		count < NStates ->
		c_code {
			int xi;
			for (xi = 0; xi < (1 << TransTime); xi++)
			{	now.filler[xi%StateSize] += xi%256;
			}
			memset(now.filler, 0, StateSize*sizeof(char));
		};
		count++
	   }
	od
}