// Clause: 6.5.3.2 — dereferencing an indeterminate pointer value is undefined.
#include <stdio.h>
int main(void){
    int *p;     // uninitialized pointer (indeterminate)
    int v = *p; // UB
    printf("%d\n", v);
    return 0;
}