#include main() { int a[10]; printf("%d\n", a[12]); printf("%d\n", a[1234567]); }