// Clause: 6.5.2.1 / 6.5.6 — if the pointer operand points outside the array object except one-past, behavior is undefined when accessed.
#include <stdio.h>
int main(void){
    int a[2]={1,2};
    int v = a[2]; // UB: out of bounds
    printf("%d\n", v);
    return 0;
}