Do C compilers provide any guarantee on the placement of elements on the c stack such that accessing a[3] in int a[2]; when a is proceeded by
a[3]
int a[2];
