UnsatLoopAndField.java

class A
{
  public int i;
};

class UnsatLoopAndField
{
	  public static void main(String[] args)
	  {
	    A a=new A();
	    a.i = 0;
	    int N = 10;
	    for (int i=0; i < N; i++)
	      a.i++; 
	    assert N != a.i;
	  }
}