// Test case for issue #34: https://github.com/kelloggm/checker-framework/issues/34

public class IndexForTwoArrays2 {

  public boolean equals(int[] da1, int[] da2) {
    if (da1.length != da2.length) {
      return false;
    }
    int k = 0;

    for (int i = 0; i < da1.length; i++) {
      if (da1[i] != da2[i]) {
        return false;
      }
    }
    return true;
  }
}