NestedMultiple(int x0, y0, n,m)
	x := x0; y := y0;
	while (x < n)
		while (y < m && nondet())
			y := y + 1;
		x := x + 1;