SequentialSingle(int n)
	x := 0;
	while (x < n && nondet())
		x := x + 1;
	while (x < n)
		x := x + 1;