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