#include <stdio.h>

int foo[4];

int main()
{
    foo[4] = 0xbadbad;
    printf("%d\n", foo[4]);
    return 0;
}