int a[1000000];

int main() {
  if (a[999999] != 0) {
    //@ assert \false;
  }
}