UnsatHavoc.java

class A {
}

class UnsatHavoc
{
  public static void main(String[] args)
  {
    A[] array = new A[10];
    assert array[1] != null;
  }
}