ISR proctype

Line#	Code
1	active proctype ISR()
2	{ chan ret_chan = [0] of {int};
3	int i;
4	do
5	:: do
6	:: i>=0 && i i++;
7	:: i> 0 && i <=nProcesses-1 -> i --;
8	:: break;
9	od;
10	process_poll_params_chan ? i;
11	run process_poll(ret_chan,process_poll_params_chan);
12	ret_chan ? 0;
13	od;
14	}