// Clause: 6.7.3 — if an object is declared with const-qualified type, any attempt to modify it through any lvalue expression is undefined.
#include <stdio.h>
int main(void){
    const int ci = 1;
    int *p = (int*)&ci;
    *p = 2; // UB: modify an originally-const object
    printf("%d\n", ci);
    return 0;
}