int x=0;
int y=0;

proctype p1 {	
	do
	:: true -> store(x,1);
	:: true -> store(y,1);
	:: true -> break;
	od;
}

