int a[10];

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