/* TAGS: min c */
int array[2];

int main() {
    array[2] = 3; /* ERROR: out of bounds */
    return 0;
}